Inproceedings,
The PreCertification Kit for Operating Systems in Safety Domains.
D. Cotroneo, D. Leo, N. Silva, and R. Barbosa.WOSOCER, page 19-24. IEEE Computer Society, (2011)
Meta data
- BibTeX key
- conf/issre/CotroneoLSB11
- entry type
- inproceedings
- booktitle
- WOSOCER
- year
- 2011
- pages
- 19-24
- publisher
- IEEE Computer Society
- crossref
- conf/issre/2011wosocer
- ee
- https://doi.ieeecomputersociety.org/10.1109/WoSoCER.2011.13
- isbn
- 978-0-7695-4617-9
- url
- http://dblp.uni-trier.de/db/conf/issre/wosocer2011.html#CotroneoLSB11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issre/CotroneoLSB11
%A Cotroneo, Domenico
%A Leo, Domenico Di
%A Silva, Nuno
%A Barbosa, Ricardo
%B WOSOCER
%D 2011
%E Pietrantuono, Roberto
%E Silva, Nuno
%I IEEE Computer Society
%K dblp
%P 19-24
%T The PreCertification Kit for Operating Systems in Safety Domains.
%U http://dblp.uni-trier.de/db/conf/issre/wosocer2011.html#CotroneoLSB11
%@ 978-0-7695-4617-9
@inproceedings{conf/issre/CotroneoLSB11,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Cotroneo, Domenico and Leo, Domenico Di and Silva, Nuno and Barbosa, Ricardo},
biburl = {https://www.bibsonomy.org/bibtex/2028fb24b65cbb28b027f84be5e75930e/dblp},
booktitle = {WOSOCER},
crossref = {conf/issre/2011wosocer},
editor = {Pietrantuono, Roberto and Silva, Nuno},
ee = {https://doi.ieeecomputersociety.org/10.1109/WoSoCER.2011.13},
interhash = {fb8d8625c1c83717e4e45d2847663b23},
intrahash = {028fb24b65cbb28b027f84be5e75930e},
isbn = {978-0-7695-4617-9},
keywords = {dblp},
pages = {19-24},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:36:55.000+0200},
title = {The PreCertification Kit for Operating Systems in Safety Domains.},
url = {http://dblp.uni-trier.de/db/conf/issre/wosocer2011.html#CotroneoLSB11},
year = 2011
}