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
Sistem fault tolerant pada pengukuran temperatur berbasis PC
Universitas Indonesia, 2000
UI - Skripsi Membership
Penerapan rancangan mekanisme pemograman sistem RPC fault tolerant
Fakultas Teknik Universitas Indonesia, 1995
UI - Skripsi Membership