共 22 条
[1]
[Anonymous], 2002, LECT NOTES COMPUTER
[3]
Boudali H, 2007, LECT NOTES COMPUT SC, V4762, P441
[4]
Dynamic fault tree analysis using Input/Output interactive Markov chains
[J].
37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2007,
:708-+
[5]
Modeling with extended fault trees
[J].
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS,
2000,
:238-246
[6]
Distefano S, 2006, P REL MAINT S, P189
[8]
GARAVEL H, 2007, P 19 INT C COMP AID
[9]
GOYAL A, 1986, P 16 INT S FAULT TOL, P84
[10]
Hermanns H, 1998, LECT NOTES COMPUT SC, V1469, P51