Evaluation of Safety Rules in a Safety Kernel-Based Architecture

TitleEvaluation of Safety Rules in a Safety Kernel-Based Architecture
Publication TypeBook Chapter
Year of Publication2014
AuthorsVial, E., and A. Casimiro
Book TitleComputer Safety, Reliability, and Security
Pagination27–35
PublisherSpringer International Publishing