Skip to Main content Skip to Navigation
Other publications

Formal Specification of a Generic Separation Kernel

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
`

Citation

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

Share

Metrics

Record views

243