Célia Martinie De Almeida
Mots clés
FR |
EN
Systèmes interactifs critiques
Systèmes d'aide à la décision
Systèmes homme-machine
Ingénierie dirigée par les modèles
Automatisation
Modélisation de tâches
Interaction Homme Machine
Génie logiciel
Méthodes formelles
Ingénierie des modèles
Approche systématique à la formation
Méthodes formelles (informatique)
Approche basée modèles
Gestion du trafic aérien
Systèmes interactifs
Circulation aérienne -- Contrôle
Erreur humaine
Certification
Erreur
Multimédias interactifs