Méthodes de modélisation formelles basées sur les systèmes à évènements discrets pour le management du trafic aérien

par Mohamed ali Kammoun

Thèse de doctorat en Automatique, signal, productique, robotique

Sous la direction de Nidhal Rezg.

Thèses en préparation à l'Université de Lorraine , dans le cadre de Informatique, Automatique, Electronique-Electrotechnique, Mathématiques , en partenariat avec Laboratoire de génie industriel et production de Metz (equipe de recherche) depuis le 05-11-2009 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.