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 <>
Submitted on : Wednesday, February 17, 2016 - 2:07:54 PM
Last modification on : Friday, April 30, 2021 - 9:54:38 AM

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

348