Created by scombefi, at September 12, 2011, at 08:23 AM

Sébastien Combéfis and Charles Pecheur had a full paper accepted at SMC 2011.

SMC 2011 has this year a special track on "Applications of Formal Methods to Human-Automation Interaction" where the paper "A Formal Framework for Design and Analysis of Human-Machine Interaction" will be presented.

That paper is the result of a collaboration with the Robust Software Engineering and Human Factors groups from the NASA Ames Research Center.

Tags: Human Computer Interaction, Publications

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences