✦ LIBER ✦

A BDD-based algorithm for reliability analysis of phased-mission systems

✍ Scribed by Xinyu Zang; Nairong Sun; Trivedi, K.S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on PMS BDD generation in "A BDD

✍ Liudong Xing; Dugan, J.B. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 292 KB

BDD-based reliability analysis of phased

✍ Zhihua Tang; Dugan, J.B. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 351 KB

New Insights Into the BDD-Based Reliabil

✍ Yuchang Mo 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 842 KB

BDD-based reliability evaluation of phas

✍ Xing, Liudong; Levitin, Gregory 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 683 KB

Variable Ordering to Improve BDD Analysi

✍ Yuchang Mo 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 152 KB

Computationally-efficient phased-mission

✍ Somani, A.K.; Ritcey, J.A.; Au, S.H.L. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 657 KB