33978 articles – 26791 Notices  [english version]
.:. Consultation > Par auteur > Aït-Sadoune .:.
2 documents classés par :

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.
Ait-Ameur Y., Aït-Sadoune I., Baron M., Mota J.-M.
Dans 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006). 133 (2006) 123-130 [hal-00633908 - version 1]
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
Aït-Ameur Y., Aït-Sadoune I., Baron M.
Dans 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes (MOSIM 2006) : Défis et Opportunités (2006) 578-588 [hal-00633903 - version 1]