A formal model for output multimodal HCI - An Event-B formalization - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Article Dans Une Revue Computing Année : 2015
Fichier non déposé

Dates et versions

hal-01274680 , version 1 (16-02-2016)

Identifiants

Citer

Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization. Computing, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩. ⟨hal-01274680⟩
150 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More