Formalization and Model Checking of SysML State Machine Diagrams by CSP# - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda. Formalization and Model Checking of SysML State Machine Diagrams by CSP#. In Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Mario Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III. Volume 7973 of Lecture Notes in Computer Science, pages 114-127, Springer, 2013. [doi]

This author has not been identified. Look up 'Takahiro Ando' in GoogleThis author has not been identified. Look up 'Hirokazu Yatsu' in GoogleThis author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Kenji Hisazumi' in GoogleThis author has not been identified. Look up 'Akira Fukuda' in Google

runs on WebDSL