A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees

Yuchang Mo. A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees. IEEE Transactions on Reliability, 63(1):81-93, 2014. [doi]

Abstract

Abstract is missing.