共 50 条
- [1] DEPTH-FIRST EVENT ORDERING IN BDD-BASED FAULT TREE ANALYSIS [J]. COMPUTING AND INFORMATICS, 2012, 31 (06) : 1401 - 1416
- [2] Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation [J]. SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 205 - +
- [3] BDD-BASED RELIABILITY ANALYSIS of PHASED-MISSION SYSTEM WITH PERIODICAL PHASE [J]. 15TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 2009, : 310 - 314
- [9] BDS: A BDD-based logic optimization system [J]. 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 92 - 97
- [10] Efficient BDD-based Fault Simulation in Presence of Unknown Values [J]. 2011 20TH ASIAN TEST SYMPOSIUM (ATS), 2011, : 383 - 388