KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3395963

Applicability of formal synthesis illustrated via scheduling

Blumenroehr, Christian; Eisenbiegler, Dirk; Kumar, Ramayya



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Proceedingsbeitrag
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 339596
Erschienen in IWLAS'96, Workshop on Logic and Architecture Synthesis, Grenoble, France 1996
Seiten 345-352
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page