Translation rules of SysML state machine diagrams into CSP# toward formal model checking - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda. Translation rules of SysML state machine diagrams into CSP# toward formal model checking. IJWIS, 10(2):151-169, 2014. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL