共 33 条
[1]
AKERS B, 1950, IEEE T COMPUT, P276
[3]
[Anonymous], P CAID 93
[4]
[Anonymous], 1992, ACM Computing Surveys (CSUR), DOI DOI 10.1145/136035.136043
[7]
An ordering heuristic for building binary decision diagrams from fault-trees
[J].
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS,
1996,
:208-214
[8]
Bouissou M, 1997, P ESREL97
[9]
BRACE KS, 1990, P 27 ACM IEEE DES AU
[10]
BRYANT R, 1986, IEEE T COMPUTERS AUG, P677