KIT | KIT-Bibliothek | Impressum

Ein einheitlicher Ansatz zur Verifikation und Testerzeugung fuer digitale Schaltungen mit temporaler Logik

Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 1993
Sprache Deutsch
Identifikator KITopen ID: 48993
Erscheinungsvermerk Duesseldorf 1993. (Fortschritt-Berichte VDI. Reihe 9, Nr. 174.) Fak. f. Informatik, Diss. v. 3.7.1992.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 3.7.1992
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page