Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kropf, Thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Düsseldorf VDI-Verl. 1993
Ausgabe:	Als Ms. gedr.
Schriftenreihe:	Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] 174
Schlagworte:	Testmustergenerierung > Hardwareverifikation > Temporale Logik > Digitalschaltung > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik