The PreCertification Kit for Operating Systems in Safety Domains (bibtex)

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

Reference:

The PreCertification Kit for Operating Systems in Safety Domains (Domenico Cotroneo, Domenico Di Leo, Nuno Silva and Ricardo Barbosa), In 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011 (Roberto Pietrantuono, Nuno Silva, eds.), IEEE Computer Society, 2011.

Bibtex Entry:

@inproceedings{DBLP:conf/issre/CotroneoLSB11,
  author       = {Domenico Cotroneo and
                  Domenico Di Leo and
                  Nuno Silva and
                  Ricardo Barbosa},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {The PreCertification Kit for Operating Systems in Safety Domains},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {19--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.13},
  doi          = {10.1109/WoSoCER.2011.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CotroneoLSB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}