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

La soutenance a eu lieu le 05-07-2013

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

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 .

mots clés

• Sciences et technologies de l'information et de la communication

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

Pas de résumé disponible.