Skip to Main content Skip to Navigation
Other publications

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
5 LRI - Laboratoire de Recherche en Informatique
6 IRT SystemX - IRT SystemX
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-01765535
Contributor : Burkhart Wolff Connect in order to contact the contributor
Submitted on : Thursday, April 12, 2018 - 9:52:25 PM
Last modification on : Thursday, July 8, 2021 - 3:50:32 AM

Identifiers

  • HAL Id : hal-01765535, version 1

Collections

CNRS | UMR8623 | LRI-VALS | IRT-SYSTEMX | GS-COMPUTER-SCIENCE | EC-PARIS

`

Citation

Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. 2013. ⟨hal-01765535⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

243

 

Contact                    Legal Notice                    Personal Data