一种故障树向BDD的转化方法

一种故障树向BDD的转化方法

段珊 ¹，张修如 ²，刘树锟 ¹，王金娟 ¹

Transformation method of fault tree based on BDD

DUAN Shan ¹，ZHANG Xiu-ru ²，LIU Shu-kun ¹，WANG Jin-juan ¹

计算机工程与应用 . 2009, (21): 51 -54 . DOI: 10.3778/j.issn.1002-8331.2009.21.013