KIT | KIT-Bibliothek | Impressum | Datenschutz

Verified code generation for embedded systems

Glesner, Sabine; Geiss, Rubino; Boesler, Boris



Seitenaufrufe: 5
seit 01.08.2018
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 34482002
Erscheinungsvermerk In: COCV'02 Compiler Optimization Meets Compiler Verification, Grenoble, France 2002 [online]. Amsterdam 2002. (Electronic notes in theoretical computer science. 65,2.)
Externe Relationen Siehe auch
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page