Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron. Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. In Jean-Marc Robert, Bertrand David, editors, Proceedings of the 18th International Conference of the Association Francophone d Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006. Volume 133 of ACM International Conference Proceeding Series, pages 123-130, ACM, 2006. [doi]
Abstract is missing.