TITRE : Vers l’intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel 

PRÉSENTÉ PAR : Mohamed Karim Weslati

JURY :
PRÉSIDENT : M. Foutse Khomh, Ph.D.;
DIRECTRICE DE RECHERCHE : Mme Hanifa Boucheneb, Doctorat;
MEMBRE : M. Chemseddine Talhi, Ph.D.

Entrée libre

Bienvenue à tous!