Formal API Specification of the PikeOS Separation Kernel

Verbeek, Freek and Havle, Oto and Schmaltz, Julien and Tverdyshev, Sergey and Blasum, Holger and Langenstein, Bruno and Stephan, Werner and Wolff, Burkhart and Nemouchi, Yakoub
(2015) Formal API Specification of the PikeOS Separation Kernel.
In: Proc. 7th NASA Formal Methods Symposium (NFM 2015).
Conference: None | Not Set

[img] Text
978-3-319-17524-9_26 - Published Version

Download (86kB)

Actions

Actions (login required)

View Item View Item