• PhD,

PhD Defense - Imane HAUR - ED MathSTIC

AUTOSAR compliant multi-core RTOS formal modeling and verification

on November 30, 2022

L'École doctorale MathSTIC logo
L'École doctorale MathSTIC logo
Wednesday 30 November 2022 at 10:00 am at Centrale Nantes, Lecture Theatre S

Supervisor: Olivier Henri ROUX

Laboratory: LS2N
Published on November 25, 2022 Updated on November 25, 2022