Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures

Yuchang Mo. Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures. IEEE Transactions on Reliability, 58(1):53-57, 2009. [doi]

Abstract

Abstract is missing.