Projects

Projects

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

Period: from 16-01-2021 to 16-01-2026

R. El mesaoudy (Manager)

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

Université Paris-Dauphine (Paris IX)

Period: from 22-05-2019 to 22-05-2024

R. El mesaoudy (Manager)