EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ciro Donnarumma, Pietro Fara, Gabriele Serra, Sandro Di Leonardi, Mauro Marinoni. EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel. In Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro, editors, IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. pages 314-317, IEEE, 2019. [doi]

This author has not been identified. Look up 'Ciro Donnarumma' in GoogleThis author has not been identified. Look up 'Pietro Fara' in GoogleThis author has not been identified. Look up 'Gabriele Serra' in GoogleThis author has not been identified. Look up 'Sandro Di Leonardi' in GoogleThis author has not been identified. Look up 'Mauro Marinoni' in Google

runs on WebDSL