Formalization and model checking of SysML state machine diagrams by CSP#

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

研究成果: Conference contribution

7 被引用数 (Scopus)

フィンガープリント

「Formalization and model checking of SysML state machine diagrams by CSP#」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science