Nouvelles méthodes et outils semi-automatiques pour l’évaluation de la sécurité des systèmes avioniques fondés sur des approches formelles et de l’IA

Informations

Loïc ROBERT sous la direction de Emmanuel HEBRARD (LAAS-CNRS), Marie-José HUGUET (LAAS-CNRS), Vincent NICOMETTE (LAAS-CNRS), Eric LACOMBE (Airbus) depuis le 01/04/2023