Formal Specification of a Generic Separation Kernel

Freek Verbeek ¹ AuthorId : 11179083
Author Employer institution : Radboud university [Nijmegen]

Sergej Tverdyshev AuthorId : 11179084
Author Employer institution : SYSGO AG [Klein-Winternheim]

Havle Oto ² AuthorId : 1295618
Author

Blasum Holger ² AuthorId : 1295621
Author

Langenstein Bruno ³ AuthorId : 1295622
Author

Stephan Werner ⁴ AuthorId : 1197955
Author

Yakoub Nemouchi ⁵ AuthorId : 1294529
Author

Abderrahmane Feliachi ⁵ AuthorId : 984300
Mail :
Author

Burkhart Wolff ^{6, 5} AuthorId : 850742
Mail : Site :
Author IdHAL : burkhart-wolff