Formal Specification of a Generic Separation Kernel
Freek Verbeek
(1)
,
Sergej Tverdyshev
,
Havle Oto
(2)
,
Blasum Holger
(2)
,
Langenstein Bruno
(3)
,
Stephan Werner
(4)
,
Yakoub Nemouchi
(5)
,
Abderrahmane Feliachi
(5)
,
Burkhart Wolff
(6, 5)
1
Radboud University [Nijmegen]
2 SYSGO AG [Klein-Winternheim]
3 DFKI - Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
4 KIT - Karlsruhe Institute of Technology = Karlsruher Institut für Technologie
5 LRI - Laboratoire de Recherche en Informatique
6 IRT SystemX
2 SYSGO AG [Klein-Winternheim]
3 DFKI - Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
4 KIT - Karlsruhe Institute of Technology = Karlsruher Institut für Technologie
5 LRI - Laboratoire de Recherche en Informatique
6 IRT SystemX
Sergej Tverdyshev
- Fonction : Auteur
Burkhart Wolff
- Fonction : Auteur
- PersonId : 5502
- IdHAL : burkhart-wolff
- ORCID : 0000-0002-9648-7663
- IdRef : 074692097