(untitled) - 20160412d2013 k y|frey0103 ba; Cotard Sylvain; Université de Nantes 1962-2021; Université de Nantes Faculté des sciences et des techniques; École doctorale Sciences et technologies de l'information et mathématiques Nantes; Institut de recherche en communications et cybernétique Nantes
Robustness in Multicore Automotive Embedded Real-Time Systems
Keywords: Sûreté de fonctionnement; Vérification en ligne formelle; Mémoire transactionnelle