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).

[img] Text
978-3-319-17524-9_26 - Published Version
Download (86kB)
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: pub_id: 1337 Bibtex: DBLP:conf/nfm/VerbeekHSTBL0WN15 URL date: None
Divisions: Unspecified
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:29
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/430

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.