DYNAMIC FAULT TREES
 | ||
|
 | Ragavan Manian, Joanne Bechta Dugan, David Coppit, and Kevin J. Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium. – Washington, D.C., November 1998. Pages 21–28. – www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/combining_solution_techniques.pdf |
| Zhihua Tang and Joanne Bechta Dugan. Minimal cut set/sequence generation for dynamic fault trees. In Annual Reliability and Maintainability Symposium Proceedings. – LA, January 2004. – www.cs.virginia.edu/~ftree/2003-redesign/pages/Research/papers/RAMS120_MCS.pdf |
