Login / Signup
Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams.
Liudong Xing
Ola Tannous
Joanne Bechta Dugan
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2012)
Keyphrases
</>
reliability analysis
binary decision diagrams
cold standby
distributed systems
intelligent systems
expert systems
symbolic model checking