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)
Sergej Tverdyshev
- Fonction : Auteur
Burkhart Wolff
- Fonction : Auteur
- PersonId : 5502
- IdHAL : burkhart-wolff
- ORCID : 0000-0002-9648-7663
- IdRef : 074692097