Profiles
Contents from Guillaume Maudoux on this site
Publications
2015
- Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Guillaume Maudoux, Sébastien Combéfis?, Charles Pecheur. Proceedings of the Workshop on Formal Methods for Human Computer Interaction 2015.