@article{胡良文_836, author = {[胡良文, 马金晶, 孙博]}, title = {基于Spin的SysML活动图验证框架}, publisher = {计算机科学与探索}, year = {2014}, journal = {计算机科学与探索}, volume = {8}, number = {7}, eid = {836}, pages = {836-847}, keywords = {

系统建模语言(SysML);活动图;模型验证;Spin;Promela

}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1401023 }