KIT | KIT-Bibliothek | Impressum | Datenschutz

Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene

Rosenstiel, Wolfgang; Gerlach, Joachim; Kloepfer


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1999
Sprache Deutsch
Identifikator KITopen-ID: 339999
Erscheinungsvermerk In: GI/ITG/GMM Workshop Methoden und Beschreibung zur Modellierung und Verifikation von Schaltungen und Systemen, 1999.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page