计算机与数字工程2016，Vol.44Issue(12)：2342-2347,6.DOI:10.3969/j.issn.1672-9722.2016.12.012
基于有序二元决策图的动态故障树定性分析方法
Qualitative Analysis of Dynamic Fault Tree Based on Sequential Binary Decision Diagram
摘要
关键词
动态故障树/有序二元决策图/时序逻辑/逆向转换法Key words
dynamic fault tree/sequential binary decision diagram/time sequence logic/reverse conversion method分类
信息技术与安全科学引用本文复制引用
高迎平,李洋,田楷..基于有序二元决策图的动态故障树定性分析方法[J].计算机与数字工程,2016,44(12):2342-2347,6.
