Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2011 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000030413 |
Erschienen in | Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011. Hrsg.: H. Giese |
Verlag | fortiss GmbH |
Seiten | 133-146 |