An end-to-end framework for safe software development

Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin. An end-to-end framework for safe software development. Microprocessors and Microsystems, 62:41-49, 2018. [doi]

Bibliographies