基于Petri网模型检验的安全关键软件需求验证
李震, 刘斌, 李小勋, 殷永峰
Verification of safetycritical software requirement based on Petri-net model checking
LI Zhen, LIU Bin, LI Xiao-xun, YIN Yong-feng
Journal of Systems Engineering and Electronics
.
2011, (2): 458
-463
.
DOI: 10.3969/j.issn.1001-506X.2011.02.45
