Les systèmes critiques, particulièrement aéronautiques, contiennent de nouveaux dispositifs
hautement interactifs. Dans ce contexte, les processus de certification décrits dans la DO …

Dans la plupart des secteurs, les systèmes d'aujourd'hui sont interactifs et disposent d'in-
terfaces graphiques sophistiquées. A notre connaissance, il existe peu d'études sur la vérifi …

Our research team is specialized in human-computer systems and their engineering, with
focus on interactive software systems for aeronautics (from cockpits to control towers). This …