Formal API Specification of the PikeOS Separation Kernel

Type de document :
Communication dans un congrès
NASA Formal Methods - 7th International Symposium, NFM 2015,, Apr 2015, Pasadena, CA, USA, France. Lecture Notes in Computer Science, LNCS (9058), pp.375--389, 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena,CA, USA, April 27-29, 2015, Proceedings. 〈10.1007/978-3-319-17524-9_26〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01275405
Contributeur : Burkhart Wolff <>
Soumis le : mercredi 17 février 2016 - 14:07:54
Dernière modification le : mardi 24 avril 2018 - 13:35:58

Identifiants

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,, Apr 2015, Pasadena, CA, USA, France. Lecture Notes in Computer Science, LNCS (9058), pp.375--389, 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena,CA, USA, April 27-29, 2015, Proceedings. 〈10.1007/978-3-319-17524-9_26〉. 〈hal-01275405〉

Partager

Métriques

Consultations de la notice

201