KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Kropf, Thomas



Seitenaufrufe: 10
seit 15.05.2018
Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
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