Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams

Siwei Zhou, Jianwen Xiang, W. Eric Wong. Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams. Journal of Systems and Software, 170:110766, 2020. [doi]

Abstract

Abstract is missing.