Formal Specification of a Generic Separation Kernel - Archive ouverte HAL Access content directly
Other Publications Year : 2013

Formal Specification of a Generic Separation Kernel

(1) , , (2) , (2) , (3) , (4) , (5) , (5) , (6, 5)
1
2
3
4
5
6

Domains

Cognitive science Computer science

Burkhart Wolff  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01765535

Submitted on : Thursday, April 12, 2018-9:52:25 PM

Last modification on : Thursday, December 1, 2022-2:02:08 PM

Not file

Dates and versions

hal-01765535 , version 1 (12-04-2018)

Identifiers

  • HAL Id : hal-01765535 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

EC-PARIS CNRS UMR8623 LRI-VALS IRT-SYSTEMX UNIV-PARIS-SACLAY
133 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More