| 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 |