共 27 条
[1]
[Anonymous], 1994, Introduction to the Numerical Solutions of Markov Chains
[2]
*AS 2 EMB COMP SYS, 2009, AS5506 AS2 EMB COMP
[5]
Architectural dependability evaluation with Arcade
[J].
2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC,
2008,
:512-+
[6]
BOUDALI H, 2007, P ARTIST WS TOOL PLA
[7]
Boudali H, 2007, LECT NOTES COMPUT SC, V4762, P441
[8]
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-+
[9]
BOYD MA, 1991, THESIS DUKE U