Projets

Projets

Projet sur: Debogage de performance pour code binaire : Analyse de sensitivite et profilage de dependances

Ecole Nationale Supérieure de l'Electronique et de ses Applications

Période: du 16-01-2021 à 16-01-2026

R. El mesaoudy (Responsable)

Projet sur: Verification formelle des systemes cyber-physiques dans le processus industriel de la conception basee sur modele

Université Paris-Dauphine (Paris IX)

Période: du 22-05-2019 à 22-05-2024

R. El mesaoudy (Responsable)