The PreCertification Kit for Operating Systems in Safety Domains.

Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa

Browse the full ISSRE paper archive.