Safety Certification with the Open Source Microkernel-Based Operating System L4Re

Autor: Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel
Rok vydání: 2022
Zdroj: Lecture Notes in Computer Science ISBN: 9783031148347
Databáze: OpenAIRE