采用随机Petri网的嵌入式机载软件可靠性检测

罗玲

Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net

LUO Ling

计算机工程与应用 . 2019, (1): 233 -240 . DOI: 10.3778/j.issn.1002-8331.1709-0192