Proving Memory Separation in a Microkernel by Code Level Verification
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2011 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-4377-2 KITopen-ID: 1000032947 |
| Erschienen in | Proceeding ISORCW '11 Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops |
| Verlag | IEEE Computer Society |
| Seiten | 25-32 |