Nadjet Kamel. Utilisation de SMV pour la vérification de propriétés d IHM multimodales. In Monique Noirhomme-Fraiture, editor, Proceedings of the 16th conference on Association Francophone d Interaction Homme-Machine, IHM 2004, Namur, Belgium, August 30 - September 03, 2004. ACM International Conference Proceeding Series, pages 219-222, ACM, 2004. [doi]
Abstract is missing.