Art

J-GLOBAL ID：201302202086295420   Reference number：13A1453689

Formalization and Model Checking of SysML State Machine Diagrams by CSP#

CSP#によるSysML(システムモデル化言語)状態機械図の形式化とモデルチェック

Author (5)： ANDO Takahiro (Kyushu Univ., JPN) ,  YATSU Hirokazu (Kyushu Univ., JPN) ,  KONG Weiqiang (Kyushu Univ., JPN) ,  HISAZUMI Kenji (Kyushu Univ., JPN) ,  FUKUDA Akira (Kyushu Univ., JPN)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 7973  Page： 114-127  Publication year： 2013 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (6)： SysML ,  システムモデル ,  言語 ,  形式化 ,  モデル ,  チェック