Method Based on State／Even Fault Tree for Safety Analysis of Software
WANG Siqi,HUANG Zhiqiu,HUANG Chuanlin,CHEN Guangying,PAN Cheng
Journal of Chinese Computer Systems . 2016, (1): 12 -17 .