Efficient single-pattern fault simulation on structurally synthesized BDDs
autor
Raik, Jaan
Ubar, Raimund-Johannes
Devadze, Sergei
Jutman, Artur
vastutusandmed
Jaan Raik, Raimund Ubar, Sergei Devadze, and Artur Jutman
allikas
Dependable Computing - EDCC-5 : 5th European Dependable Computing Conference : Budapest, Hungary, April 20-22, 2005 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2005
leheküljed
p. 332-344 : ill
ISBN
3-540-25723-3
märkused
(Lecture notes in computer science, ISSN 0302-9743 ; LNCS 3463). Bibliogr.: 9 ref