Bonjour, l'encodage des vidéos ne fonctionne pas pour le moment mais vous pouvez tout de même déposer vos vidéos, elles seront traitées dès que le problème sera réglé.
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
27 août 2010
Manuel GARNACHO / VERIMAG
Infos
- Gricad Vidéos
- 1 janvier 2021 00:00
- Autres
- Français
Les commentaires ont été désactivés pour cette vidéo.
