Skip to Main content Skip to Navigation
Conference papers

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation

Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-01105356
Contributor : Elodie Dubrac <>
Submitted on : Tuesday, January 20, 2015 - 11:05:26 AM
Last modification on : Thursday, March 26, 2020 - 5:30:38 PM

Identifiers

  • HAL Id : hal-01105356, version 1

Citation

Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer. Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposium 2014, Mar 2014, Palo Alto, United States. pp.38-43. ⟨hal-01105356⟩

Share

Metrics

Record views

359