Raik, J., Ubar, R.-J., Devadze, S., Jutman, A.

täiskirje prindi

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

Raik, J., Ubar, R.-J., Devadze, S., Jutman, A. Efficient single-pattern fault simulation on structurally synthesized BDDs // Dependable Computing - EDCC-5 : 5th European Dependable Computing Conference : Budapest, Hungary, April 20-22, 2005 : proceedings. Berlin : Springer, 2005. p. 332-344 : ill.