DoctorantÉquipe Spécification et vérification de systèmes Encadré par Régine Laleau, Amel Mammar (TSP), Marc Frappier (Université de Sherbrooke, Québec)Bureau: Email: faycal.baba@u-pec.frTél. +33: Fax +33:
