Skip to Main content Skip to Navigation
Conference papers

Formal API Specification of the PikeOS Separation Kernel

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01275405
Contributor : Burkhart Wolff Connect in order to contact the contributor
Submitted on : Wednesday, February 17, 2016 - 2:07:54 PM
Last modification on : Saturday, June 25, 2022 - 10:19:36 PM

Identifiers

Citation

Havle Oto, Schmaltz Julien, Tverdyshev Sergey, Blasum Holger, Langenstein Bruno, et al.. Formal API Specification of the PikeOS Separation Kernel. NASA Formal Methods - 7th International Symposium, NFM 2015,, Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi, Apr 2015, Pasadena, CA, USA, France. pp.375--389, ⟨10.1007/978-3-319-17524-9_26⟩. ⟨hal-01275405⟩

Share

Metrics

Record views

207