共 13 条
[1]
Arcade - A formal, extensible, model-based dependability evaluation framework
[J].
ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS,
2008,
:243-+
[2]
Dependability analysis of a fault-tolerant processor
[J].
2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS,
2001,
:63-67
[3]
GALDINO S, 2007, 2007 IEEE INT C SYST, V10, P2502
[4]
KANOUN K, 2005, 16 IEEE INT S SOFTW, V11
[5]
KISTEGANO S, 2007, 2007 IEEE INT S PAR, V3, P1
[6]
LAPRIE JC, 1995, 25 IEEE INT S FAULT, V6, P42
[7]
MURUGESAN S, 1989, 4 IEEE REG 10 INT C, V11, P391
[8]
Pawlak Z., 1991, Rough Sets: Theoretical Aspects of Reasoning About Data, V9, DOI [10.1007/978-94-011-3534-4, DOI 10.1007/978-94-011-3534-4]
[9]
SHI HL, 2008, 2008 IEEE INT C COMP, V8, P102
[10]
TANG D, 1995, DIG PAP INT SYMP FAU, P434, DOI 10.1109/FTCS.1995.466956