Incremental design of a state machine specification for mobile and real-time systems

Goichi Itabashi*, Kaoru Takahashi, Yasushi Kato, Takuo Suganuma, Norio Shiratori

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'Incremental design of a state machine specification for mobile and real-time systems'. Together they form a unique fingerprint.

    Engineering & Materials Science