Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Betriebs- und Dialogsysteme (IBDS) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2007 |
Sprache | Englisch |
Identifikator | urn:nbn:de:swb:90-272410 KITopen-ID: 1000027241 |
Erschienen in | Proceedings of the MIKES 2007: First International Workshop on MicroKernels for Embedded Systems, Sydney, Australia, January 16, 2007 |
Veranstaltung | 1. International Workshop on MicroKernels for Embedded Systems (MIKES 2007), Sydney, Australien, 16.01.2007 |
Seiten | 22-28 |