A formal model for output multimodal HCI - An Event-B formalization - Archive ouverte HAL
Article Dans Une Revue Computing Année : 2015

A formal model for output multimodal HCI - An Event-B formalization

Domaines

Modélisation et simulation Interface homme-machine [cs.HC] Génie logiciel [cs.SE]

Idir Ait Sadoune  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01274680

Soumis le : mardi 16 février 2016-10:15:03

Dernière modification le : jeudi 4 avril 2024-11:45:47

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UNIV-POITIERS UMR8623 UT1-CAPITOLE CENTRALESUPELEC LRI-MODHEL TDS-MACS UNIV-PARIS-SACLAY IRIT IRIT-ACADIE IRIT-FSL LIAS IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP ISAE-ENSMA
179 Consultations
0 Téléchargements

Altmetric

Partager

More