Formal API specification of the PikeOS separation kernel

F. Verbeek, O. Havle, J. Schmaltz, S. Tverdyshev, H. Blasum, B. Langenstein, W. Stephan, B. Wolff, Y. Nemouchi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)
6 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal API specification of the PikeOS separation kernel'. Together they form a unique fingerprint.

Engineering & Materials Science