Necessary Assignments for an Accelerated OBDD-based Computation of Exact Fault Detection Probabilities.
In GI/ITG Workshop 'Testmethoden und Zuverlässigkeit von Schaltungen und Systemen'. Hannover. 1995
Erscheinungsjahr: 1995
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Informatik
