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

Efficient single-pattern fault simulation on structurally synthesized BDDs

author

Raik, Jaan

Ubar, Raimund-Johannes

Devadze, Sergei

Jutman, Artur

statement of authorship

Jaan Raik, Raimund Ubar, Sergei Devadze, and Artur Jutman

source

Dependable Computing - EDCC-5 : 5th European Dependable Computing Conference : Budapest, Hungary, April 20-22, 2005 : proceedings

location of publication

Berlin

publisher

Springer

year of publication

2005

pages

p. 332-344 : ill

ISBN

3-540-25723-3

notes

(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.