Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin. Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 11-20, IEEE, 2020. [doi]
Abstract is missing.