Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron & Jean-Marc Mota
Journal d'Interaction Personne-Système ; Volume 1 ; 2418-1838
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.