%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 }