未找到相关数据
An ordering heuristic for building binary decision diagrams from fault-trees
被引：28
作者：
Bouissou, M
[1
]
机构：
[1] ELECT FRANCE,DER,ESF,F-92141 CLAMART,FRANCE
来源：
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS
|
1996年
关键词：
fault-tree assessment;
Binary Decision Diagram (BDD);
optimization;
ordering heuristic;
modular decomposition;
D O I：
10.1109/RAMS.1996.500664
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页码：208 / 214
页数：3
相关论文