Catégorie Communication dans un congrès Auteurs Yamine Aït-Ameur Idir Aït-Sadoune Mickael Baron Jean-Marc Mota https://hal.science/hal-00633908v1 doc ID 1645846 Nom Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve. Date de publication jeu 04/04/2024 - 12:00