Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net
LUO Ling
Computer Engineering and Applications . 2019, (1): 233 -240 .  DOI: 10.3778/j.issn.1002-8331.1709-0192