Rechercher

Vérification et Evaluation de systèmes Parallèles et Asynchrones

Evenements

Petri Nets 2014 & ACSD 2014

The 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri...
23-06-2014 au 27-06-2014 - Tunis

FM 2012 - 18th International Symposium on Formal Methods

  FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe,...
27-08-2012 au 31-08-2012 - Cnam Paris

Membres de l'équipe Nouveau membre ( permanents)


Kamel Barkaoui

Responsable
Professeur

Hanifa Boucheneb

Professeur extérieur

Selma Boumerdassi

Maître de Conférences

Linda Chamek

Doctorant(e)

Yufeng Chen

Maître de conférences exterieur

Joelle Delacroix

Maître de Conférences

Manel Djenouhat

Doctorant(e)

Hana Jouini

Doctorant(e)

Gaiyun Liu

Maître de conférences exterieur

Ding Liu

Maître de conférences exterieur

Aymen Louati

Maître de conférences exterieur

Borhene Marzougui

Maître de conférences exterieur

Yann Pollet

Professeur

Rachid Rebiha

Maître de Conférences

Zayneb Tayachi

Doctorant(e)

Anciens membres ( permanents)