<iframe src="https://ultv.univ-lorraine.fr/video/8400-journee-isn-epi-2016-prouver-des-programmes-tester-des-systemes-verifier-des-modeles-marie-claude-gaudel/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen loading='lazy'></iframe>
Journée ISN-EPI 2016 : Prouver des programmes, tester des systèmes, vérifier des modèles..., Marie-Claude GAUDEL
Vidéothèque de l'UL
https://ultv.univ-lorraine.fr/videos/?owner=antoine7
360
https://ultv.univ-lorraine.fr
video
640
1.0
Jean-Michel Antoine