Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams

Daochuan Ge, Meng Lin, Yanhua Yang, Ruoxing Zhang, Qiang Chou. Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams. Rel. Eng. & Sys. Safety, 142:289-299, 2015. [doi]

Abstract

Abstract is missing.