KIT | KIT-Bibliothek | Impressum | Datenschutz

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Tahar, Sofiene



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Hochschulschrift
Publikationsjahr 1994
Sprache Deutsch
Identifikator KITopen-ID: 87194
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 20.12.1994.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Prüfungsdaten Diss. v. 20.12.1994
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page