基于Spin的SysML活动图验证框架

基于Spin的SysML活动图验证框架

胡良文，马金晶，孙博

Spin-Based Verification Framework for SysML Activity Diagram

HU Liangwen, MA Jinjing, SUN Bo

计算机科学与探索 . 2014, (7): 836 -847 . DOI: 10.3778/j.issn.1673-9418.1401023