How to prove that a circuit is fault-free?

statement of authorship
Raimund Ubar, Sergei Kostin, Jaan Raik
source
Proceedings : 15th Euromicro Conference on Digital System Design DSD 2012 : 5-8 September 2012, Cesme, Izmir, Turkey
location of publication
[S.l.]
publisher
CPS
year of publication
pages
p. 427-430 : ill
conference name, date
15th Euromicro Conference on Digital System Design DSD 2012, 5-8 September, 2012
conference location
Cesme, Izmir, Turkey
ISBN
978-0-7695-4798-5
notes
Bibliogr.: 19 ref
language
inglise
Ubar, R., Kostin, S., Raik, J. How to prove that a circuit is fault-free? // Proceedings : 15th Euromicro Conference on Digital System Design DSD 2012 : 5-8 September 2012, Cesme, Izmir, Turkey. [S.l.] : CPS, 2012. p. 427-430 : ill.