• Doctorants - Post-doc,

Avis de soutenance de thèse d'Imane HAUR - ED MathSTIC

AUTOSAR compliant multi-core RTOS formal modeling and verification

le 30 novembre 2022

L'École doctorale MathSTIC logo
L'École doctorale MathSTIC logo
Mercredi 30 novembre 2022 à 10h00 à l'Ecole Centrale de Nantes, Amphithéâtre S

Directeur de thèse : Olivier Henri ROUX

Laboratoire : LS2N
Publié le 24 novembre 2022 Mis à jour le 24 novembre 2022