Conference Papers
Year : 2015
Burkhart Wolff : Connect in order to contact the contributor
https://inria.hal.science/hal-01275405
Submitted on : Wednesday, February 17, 2016-2:07:54 PM
Last modification on : Friday, March 24, 2023-2:53:01 PM
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⟩
228
View
0
Download