Evaluation of Safety Rules in a Safety Kernel-Based Architecture.

Eric Vial, Antnio Casimiro

Browse the full SAFECOMP paper archive.