Sujet de thèse : Méthodes de modélisation formelles basées sur les systèmes à évènements discrets pour le management du trafic aérien Directeur(s) de thèse : REZG Nidhal SAVA Alexandre Thèse soutenue le : 05/07/2013 Situation actuelle : Ingénieur de recherche
