Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa. The PreCertification Kit for Operating Systems in Safety Domains. In Roberto Pietrantuono, Nuno Silva, editors, 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 19-24, IEEE Computer Society, 2011. [doi]
Abstract is missing.