CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)
- Enseignement de la vérification de systèmes réactifs paramétrés
Alain GIORGETTI (Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174))
Infos
- Gricad Vidéos
- 4 avril 2023 10:08
- Conférences
- Français

Commentaire(s)