Translation rules of SysML state machine diagrams into CSP# toward formal model checking

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

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'Translation rules of SysML state machine diagrams into CSP# toward formal model checking'. Together they form a unique fingerprint.

Engineering & Materials Science