KIT | KIT-Bibliothek | Impressum | Datenschutz

A constraint-based design methodology for automated composition with IPs

Buchholz, Cristina; Rosenstiel, Wolfgang


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 2000
Sprache Englisch
Identifikator KITopen-ID: 31012000
Erscheinungsvermerk In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Hrsg.: K. Waldschmidt. Berlin 2000.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page