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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01274680
Contributor : Idir Ait Sadoune <>
Submitted on : Tuesday, February 16, 2016 - 10:15:03 AM
Last modification on : Friday, January 10, 2020 - 9:09:21 PM

Identifiers

Citation

Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization. Computing, Springer Verlag, 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⟩

Share

Metrics

Record views

256