L4-Based Real Virtual Machines - An API Proposal
| 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-272420 KITopen-ID: 1000027242 |
| 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 | 36-42 |