KIT | KIT-Bibliothek | Impressum

Eine Formalisierung der Hardwarebeschreibungssprache VHDL für die Hardware-Verifikation

Reetz, Ralf



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Hochschulschrift
Jahr 1997
Sprache Deutsch
Identifikator KITopen ID: 67497
Erscheinungsvermerk Aachen 1997. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 26.6.1997.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 26.6.1997
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page