Untestable fault identification in sequential circuits using model-checking

vastutusandmed
Jaan Raik, Hideo Fujiwara, Raimund Ubar, Anna Krivenko
ilmumiskoht
Kolkata
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 257-262 : ill
ISBN
978-93-80813-12-7
märkused
Bibliogr.: 11 ref
keel
inglise