D4. 2–First Report on Safety Kernel Definition

TitleD4. 2–First Report on Safety Kernel Definition
Publication TypeJournal Article
Year of Publication2013
AuthorsRufino, J.