How to prove that a circuit is fault-free?
Ubar, Raimund-Johannes
;
Kostin, Sergei
;
Raik, Jaan
Proceedings : 15th Euromicro Conference on Digital System Design DSD 2012 : 5-8 September 2012, Cesme, Izmir, Turkey
2012
/
p. 427-430 : ill
https://www.researchgate.net/publication/262271409_How_to_Prove_that_a_Circuit_is_Fault-Free