1Marc Bouissou. An Ordering Heuristic for Building Binary Decision Diagrams form Fault Trees [C]. IEEE 1996 Proceedings Annual R&M Symposium, 1996. 被引量:1
2Roslyn M.Sinnamon and John D.Andrews. Fault Tree Analysis and Binary Decision Diagams [C]. IEEE 1996 Proceedings Annual R&M Symposium,1996. 被引量:1