Hochschulschrift

Advanced utilization of formal methods in automatic test pattern generation for industrial designs

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783844005028
Maße
21 cm, 237 g
Umfang
VIII, 150 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Bremen, Univ., Diss., 2011

Klassifikation
Elektrotechnik, Elektronik
Schlagwort
Integrierte Schaltung
CAT
Fehlermodell
ATPG
Erfüllbarkeitsproblem
Boolesche Formel
Konjunktive Normalform
Binäres Entscheidungsdiagramm

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Shaker
(wann)
2011
Urheber
Tille, Daniel

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:41 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Tille, Daniel
  • Shaker

Entstanden

  • 2011

Ähnliche Objekte (12)