KIT | KIT-Bibliothek | Impressum

Hardware-Verifikation. Verfahren und Werkzeuge zum Entwurf korrekter Schaltungen und Systeme

Kropf, Thomas



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buch
Jahr 1997
Sprache Deutsch
Identifikator KITopen ID: 67597
Erscheinungsvermerk Fak. f. Informatik, Habil.-Schr. v. 26.5.1997.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page