KIT | KIT-Bibliothek | Impressum | Datenschutz

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
Publikationsjahr 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.
Art der Arbeit 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