故障拓展模型到概率检验模型的转换规则
王鹏, 张帆, 董磊, 胡剑波, 赵长啸
Translation rules of fault extended model to probabilistic checking model
WANG Peng, ZHANG Fan, DONG Lei, HU Jianbo, ZHAO Changxiao
系统工程与电子技术 . 2017, (11): 2501 -2508 .  DOI: 10.3969/j.issn.1001-506X.2017.11.16