Binary Decision Diagrams and Testing.
In GI/ITG Workshop 'Testmethoden und Zuverlässigkeit von Schaltungen und Systemen'. Freiberg. 1993
Erscheinungsjahr: 1993
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Autoren
Becker, Bernd (Autor)
Drechsler, Rolf (Autor)
Hengster, H. (Autor)
Sinkovic, R. (Autor)
Klassifikation
DDC Sachgruppe:
Informatik
