Wei Jiang, Siwei Zhou, Luyao Ye, Dongdong Zhao, Jing Tian, W. Eric Wong, Jianwen Xiang. An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree. In 5th International Conference on Dependable Systems and Their Applications, DSA 2018, Dalian, China, September 22-23, 2018. pages 44-51, IEEE, 2018. [doi]
Abstract is missing.