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 Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 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