TY - 计算机科学与探索 A1 - 胡良文,马金晶,孙博 T1 - 基于Spin的SysML活动图验证框架 Y1 - 2014-07-01 JF - 计算机科学与探索 JO - 计算机科学与探索 SP - 836 EP - 847 VL - 8 IS - 7 UR - http://fcst.ceaj.org N1 - 10.3778/j.issn.1673-9418.1401023 ER -