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]
@inproceedings{CotroneoLSB11,
title = {The PreCertification Kit for Operating Systems in Safety Domains},
author = {Domenico Cotroneo and Domenico Di Leo and Nuno Silva and Ricardo Barbosa},
year = {2011},
doi = {10.1109/WoSoCER.2011.13},
url = {http://doi.ieeecomputersociety.org/10.1109/WoSoCER.2011.13},
researchr = {https://researchr.org/publication/CotroneoLSB11},
cites = {0},
citedby = {0},
pages = {19-24},
booktitle = {2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011},
editor = {Roberto Pietrantuono and Nuno Silva},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4617-9},
}