TY - THES DP - http://www.theses.fr/2014ESMA0022 TI - Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie AU - Mohand Oussaïd (Mohand Oussaid), Linda A3 - Aït-Ameur, Yamine; Aït-Sadoune, Idir PY - 2014 N1 - Thèse de doctorat Informatique et applications Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique 2014 N1 - 2014ESMA0022 UR - http://www.theses.fr/2014ESMA0022/document ER -