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
DOI:	10.1007/978-3-031-14835-4_3
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e990aca2f163a81c91491075358cd4f6 https://doi.org/10.1007/978-3-031-14835-4_3 Zobrazit plný text záznamu