.:. Consultation > Par auteur > Aït-Sadoune .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

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]