Keyword:operating system abstraction layer

Papers
Attack Surface Analysis for Spacecraft Flight Software James Curbo and Gregory Falco EasyChair Preprint no. 13514