Goodloe, Alwyn E., editor
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks
Dependable computing for critical applications 2; Vol. 6
edited by J.F. Meyer
Springer-Verlag , 1992
Buku Teks SO
Self-healing memory hardware architecture on field programmable
Artikel Jurnal
Chen, Tinghuai
Fault diagnosis and fault tolerance : a systematic approach to special topics
Springer-Verlag , 1992
Buku Teks
Dependable computing for critical applications vol. 4
Springer-Verlag , 1991
Buku Teks