Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel

Type de document :
Communication dans un congrès
AFADL 2014, Jun 2014, Paris, France. Actes des 13es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, pp.76-90, 2014
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01103334
Contributeur : Elodie Dubrac <>
Soumis le : mercredi 14 janvier 2015 - 15:01:39
Dernière modification le : jeudi 29 mars 2018 - 11:06:05

Identifiants

  • HAL Id : hal-01103334, version 1

Collections

Citation

Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer. Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel. AFADL 2014, Jun 2014, Paris, France. Actes des 13es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, pp.76-90, 2014. 〈hal-01103334〉

Partager

Métriques

Consultations de la notice

92