Talks
A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction
- Title
- A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction
- Speaker(s)
- Sébastien Combéfis
- Context
- ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 14-17, 2009, Pittsburgh, PA, USA
- File(s)
- (removed)
Related Publication(s):
- A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Sébastien Combéfis, Charles Pecheur. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, Pittsburgh, PA.
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