KIT | KIT-Bibliothek | Impressum

Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation

Schneider, Klaus



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 11096
Erscheinungsvermerk Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 116.) Fak. f. Informatik, Diss. v. 7.7.1995.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 7.7.1995
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page