KIT | KIT-Bibliothek | Impressum | Datenschutz

Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis

Kapp, K.; Sabelfeld, V.



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2004
Sprache Englisch
Identifikator ISBN: 3-8322-2486-6
KITopen-ID: 1000002677
Erschienen in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Hrsg.: D. Stoffel
Verlag Shaker, Aachen
Seiten 204-213
Serie Berichte aus der Informatik
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page