Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm
SONG Jun-hua, WEI Ou
Computer Science . 2019, (1): 226 -231 .  DOI: 10.11896/j.issn.1002-137X.2019.01.035