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

Linda Mohand-Oussaid; Idir Ait-Sadoune; Yamine Aït-Ameur; Mohamed Ahmed-Nacer

Conference Papers Year : 2014

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

(1) , (2) , (3, 4) , (5)

1
2
3
4
5

Linda Mohand-Oussaid

Function : Author

ENSMA

Idir Ait-Sadoune

Function : Author
PersonId : 7402
IdHAL : idir-ait-sadoune
ORCID : 0000-0002-6484-8276
IdRef : 176615830

Supélec Sciences des Systèmes

CV

Yamine Aït-Ameur

Function : Author
PersonId : 735131
IdHAL : yamine-ait-ameur
ORCID : 0000-0003-4582-9712
IdRef : 077275225

Assistance à la Certification d’Applications DIstribuées et Embarquées

Institut National Polytechnique (Toulouse)

Mohamed Ahmed-Nacer

Function : Author

Laboratoire des Systèmes Informatiques

Domains

Computer Science [cs]

Elodie Dubrac : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-01105356

Submitted on : Tuesday, January 20, 2015-11:05:26 AM

Last modification on : Wednesday, March 8, 2023-4:14:12 AM

Dates and versions

hal-01105356 , version 1 (20-01-2015)

Identifiers

HAL Id : hal-01105356 , version 1

Cite

Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

SUPELEC UNIV-TLSE2 CNRS SUP_INFO SUP_E3S SMS CENTRALESUPELEC IRIT IRIT-ACADIE IRIT-FSL IRIT-INPT TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

80 View

0 Download