LVL is organizing an HMI meeting this week (November 17, 2011)
Created by scombefi, at November 14, 2011, at 02:26 PM
LVL is organizing and hosting a meeting focused on Human Machine Interaction this week, on the theme of Models and Tools for Human-Machine Interaction.
The LVL group is organizing a meeting on Human Machine Interaction, this week, on November 17. The meeting is focused on Models and Tools for Human-Machine Interaction.
The meeting has two parts: the morning consists of workshop-style presentations and the afternoon will be dedicated to open discussions.
Full details on the HMI Meeting 2011 page.
Tags: -
Find It
Sections
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