Muen Kernel als Fundament für Software im Hochsicherheitsbereich
Das Institut für Internet-Technologien und Anwendungen an der Hochschule für Technik in Rapperswil hat ein Preview Release des Muen Separation Kerne l vorgestellt. Der formal verifizierte Open-Source-Kernel wurde mit der …
Das Institut für Internet-Technologien und Anwendungen an der Hochschule für Technik in Rapperswil hat ein Preview Release des Muen Separation Kerne l vorgestellt. Der formal verifizierte Open-Source-Kernel wurde mit der …