Ciro Donnarumma et al.: EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel. (2019)conf/issre/DonnarummaFSLM1910.1109/ISSREW.2019.00090EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel.5Ciro Donnarumma1Pietro Fara2Gabriele Serra3Sandro Di Leonardi4Mauro Marinoni5314-317ISSRE WorkshopsISSRE Workshops20192019provenance information for RDF data of dblp record 'conf/issre/DonnarummaFSLM19'2023-05-01T13:01:23+0200