Loughborough University Institutional Repository Event-tree analysis using binary decision diagrams
暂无分享,去创建一个
[1] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[2] W. E. Vesley. A Time Dependent Methodology for Fault Tree Evaluation , 1970 .
[3] J. B. Dugan,et al. Incorporating imperfect coverage into a BDD solution of a combinatorial model , 1996 .
[4] J. Dugan,et al. A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.
[5] John Andrews,et al. Quantitative fault tree analysis using Binary Decision Diagrams , 1996 .
[6] Antoine Rauzy,et al. A brief introduction to Binary Decision Diagrams , 1996 .
[7] Roslyn M. Sinnamon,et al. Improved accuracy in quantitative fault tree analysis , 1997 .
[8] Roslyn M. Sinnamon,et al. Improved efficiency in qualitative fault tree analysis , 1997 .