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))
Mots clés : 6174 alain clap cnrs electronique enseignement franche-comte giorgetti gpl hifi lvp mecanique optique parametres reactifs sciences systemes technologies thermique umr verification
Informations
- Gricad Vidéos
- 4 avril 2023 10:08
- Conférences
- Français
Commentaire(s)