共 9 条
[1]
Al-Jumah A., 1998, ISCAS 98 P
[2]
Bushnell M., 2000, VLSI CIRCUITS, V17
[3]
Hoque K.A., 2014, Early analysis of soft error effects for aerospace applications using probabilistic model checking in formal techniques for safety-critical systems, P54
[4]
Laura Dominik H.I., 2008, SYSTEM MITIGATION TE
[5]
Lifen Y., 2010, IEEE T, P586
[7]
Ostler P.S., 2009, IEEE T, P3519
[8]
Robache R., 2013, NEWCAS
[9]
Tambara L.A., 2014, 15 LAT AM TEST WORKS