LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD TechniqueJ. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.
Citation: LUO Hang, WANG Hou-jun, HUANG Jian-guo, LONG Bing. Analyzing Fault Tree by Using Method of Recursive BDD TechniqueJ. Journal of University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

Analyzing Fault Tree by Using Method of Recursive BDD Technique