Catégorie Article dans une revue Auteurs Yamine Aït-Ameur Idir Aït-Sadoune Mickael Baron Jean-Marc Mota https://hal.science/hal-00634186v1 doc ID 634186 Nom Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux Date de publication jeu 04/04/2024 - 12:00