@inproceedings{DBLP:conf/issre/DonnarummaFSLM19,
author = {Ciro Donnarumma and
Pietro Fara and
Gabriele Serra and
Sandro Di Leonardi and
Mauro Marinoni},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {{EN-50128} Certification-Oriented Design of a Safety-Critical Hard
Real-Time Kernel},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {314--317},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00090},
doi = {10.1109/ISSREW.2019.00090},
timestamp = {Mon, 01 May 2023 13:01:23 +0200},
biburl = {https://dblp.org/rec/conf/issre/DonnarummaFSLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
