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

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

*この研究の対応する著者

    研究成果: Conference contribution

    フィンガープリント

    「Incremental design of a state machine specification for mobile and real-time systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science