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

Author： Ando Takahiro Yatsu Hirokazu Kong Weiqiang Hisazumi Kenji Fukuda Akira

ISSN： 1744-0084

Source： International Journal of Web Information Systems, Vol.10, Iss.2, 2014-06, pp. : 151-169

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Toward a backward model checking

By Nassima Aleb

International Journal of Computer Aided Engineering and Technology, Vol. 5, Iss. 1, 2013-11 ,pp. : 20-43

Inderscience Publishers

Access to resources Recommend Favorite

A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 6, Iss. 1, 2015-01 ,pp. : 101-131

IGI Global_journal

Access to resources Recommend Favorite

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

By Pereira A. Song M. Gorgulho G.

Electronic Commerce Research, Vol. 6, Iss. 3-4, 2006-10 ,pp. : 265-303

Springer Publishing Company

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E. Gü A. Burak Ç M. Ufuk

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

Automated formal verification of visual modeling languages by model checking

By Varró Dániel

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 2, 2004-05 ,pp. : 85-113

Springer Publishing Company

Access to resources Recommend Favorite