基于划分软件安全Petri网的需求形式化验证
李震, 刘斌, 苗虹, 殷永峰
Formalization verification of requirements based on partition of software safety Petri net
LI Zhen, LIU Bin, MIAO Hong, YIN Yongfeng
Journal of Systems Engineering and Electronics
.
2012, (9): 1966
-1972
.
DOI: 10.3969/j.issn.1001-506X.2012.09.37
