KIT | KIT-Bibliothek | Impressum | Datenschutz

Der praktische Einsatz von Verifikationswerkzeugen im Entwurf: die Karlsruher Arbeiten

Feldbusch, Fridtjof; Froessl, Juergen; Kropf, Thomas; Kumar, Ramayya; Reetz, Ralf


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Deutsch
Identifikator KITopen-ID: 185293
Erscheinungsvermerk In: CAD-Umgebungen und Methoden des Entwurfs von Schaltkreisen und Systemen, Dresden 1993. ITG/GI.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page