Formal API Specification of the PikeOS Separation Kernel - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015
No file

Dates and versions

hal-01275405 , version 1 (17-02-2016)

Identifiers

Cite

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⟩
240 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More