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

Tags: Simulation, Human Computer Interaction, Model Checking

Find It