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

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

Research output: Contribution to journalArticlepeer-review

8 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