基于线性时间算法的故障树模块扩展分解方法
宋俊花, 魏欧
Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm
SONG Jun-hua, WEI Ou
计算机科学 . 2019, (1): 226 -231 .  DOI: 10.11896/j.issn.1002-137X.2019.01.035