How to prove that a circuit is fault-free?

vastutusandmed
Raimund Ubar, Sergei Kostin, Jaan Raik
allikas
Proceedings : 15th Euromicro Conference on Digital System Design DSD 2012 : 5-8 September 2012, Cesme, Izmir, Turkey
ilmumiskoht
[S.l.]
kirjastus/väljaandja
CPS
ilmumisaasta
leheküljed
p. 427-430 : ill
konverentsi nimetus, aeg
15th Euromicro Conference on Digital System Design DSD 2012, 5-8 September, 2012
konverentsi toimumispaik
Cesme, Izmir, Turkey
ISBN
978-0-7695-4798-5
märkused
Bibliogr.: 19 ref
keel
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.