共 14 条
[1]
AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
[2]
Andrews J. D., 1998, Annual Reliability and Maintainability Symposium 1998 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.98CH36161), P61, DOI 10.1109/RAMS.1998.653583
[3]
An ordering heuristic for building binary decision diagrams from fault-trees
[J].
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS,
1996,
:208-214
[4]
BOUISSOU M, 1997, P ESREL 97 C AUG
[5]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[6]
Fujita M., 1988, IEEE International Conference on Computer-Aided Design, ICCAD-88. Digest of Technical Papers (IEEE Cat. No.88CH2657-5), P2, DOI 10.1109/ICCAD.1988.122450
[7]
Lambert H., 1975, RELIABILITY FAULT TR, P77
[8]
MINATO S, 1991, P EUR C DES AUT, P50
[10]
RAUZY A, 1995, ESREL 95: EUROPEAN SAFETY AND RELIABILITY CONFERENCE, PROCEEDINGS, VOLS 1 AND 2, P190