TITRE DE LA THÈSE: « Verifying Timed LTL Properties Using Simulink Design Verifier »

PRÉSENTÉE PAR : Monsieur Mohammad-Reza Gholami

JURY:

PRÉSIDENTE : Martine Bellaïche, Ph. D.;
DIRECTRICE DE RECHERCHE : Hanifa Boucheneb, Doctorat;
MEMBRE : Gabriela Nicolescu, Doctorat;
MEMBRE EXTERNE : Jamal Bentaher, Ph. D.;
REPRÉSENTANT DU DIRECTEUR DES ÉTUDES SUPÉRIEURES : Lahcen Saydy

BIENVENUE À TOUS!