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

Type de document :
Communication dans un congrès
AAAI Spring Symposium 2014, Mar 2014, Palo Alto, United States. Proceedings of the AAAI Spring Symposium: Formal Verification and Modeling in Human-Machine Systems, pp.38-43, 2014
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01105356
Contributeur : Elodie Dubrac <>
Soumis le : mardi 20 janvier 2015 - 11:05:26
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Identifiants

  • 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. Proceedings of the AAAI Spring Symposium: Formal Verification and Modeling in Human-Machine Systems, pp.38-43, 2014. 〈hal-01105356〉

Partager

Métriques

Consultations de la notice

245