A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems

La croissance prévisionnelle du trafic aérien est telle que les moyens de gestion actuels doivent évoluer et être améliorés et l'automatisation de certains aspects de cette gestion semble être un moyen pour gérer cet accroissement du trafic tout en gardant comme invariant un niveau de sécurité...

Full description

Bibliographic Details
Main Author: Ragosta, Martina
Other Authors: Toulouse 3
Language:en
Published: 2015
Subjects:
Online Access:http://www.theses.fr/2015TOU30069/document