An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree

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]

Authors

Wei Jiang

This author has not been identified. Look up 'Wei Jiang' in Google

Siwei Zhou

This author has not been identified. Look up 'Siwei Zhou' in Google

Luyao Ye

This author has not been identified. Look up 'Luyao Ye' in Google

Dongdong Zhao

This author has not been identified. Look up 'Dongdong Zhao' in Google

Jing Tian

This author has not been identified. Look up 'Jing Tian' in Google

W. Eric Wong

This author has not been identified. It may be one of the following persons: Look up 'W. Eric Wong' in Google

Jianwen Xiang

This author has not been identified. Look up 'Jianwen Xiang' in Google