Communication Dans Un Congrès
Année : 2015
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01275405
Soumis le : mercredi 17 février 2016-14:07:54
Dernière modification le : vendredi 9 février 2024-03:25:29
Citer
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⟩
Collections
238
Consultations
0
Téléchargements