Reliability analysis of multi-state phased-mission systems - Shrestha, A.; Liudong Xing; Yuanshun Dai (2009 Annual Reliability and Maintainability Symposium, 2009)
Keywords: Algebra; Binary decision diagrams; Boolean functions; Computational complexity; Data structures; decision diagram; Explosions; Failure analysis; Large-scale systems; Markov chain; Mars; multi-state phased mission system; reliability; Stress