Attention, la plate-forme sera en maintenance toute la journée du 23 avril 2024. De plus, l'outil "Habillage" des vidéos n'est pas encore totalement fonctionnel. Merci de ne pas l'utiliser pour le moment.
Recherche
Laboratoires.Ecoles, Collège et Formation doctorales
Stratégie. Séminaires, colloques. Sciences et société
Réseaux et pôles d'excellence. Investissements d'avenir (Labex)
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
27 août 2010
Manuel GARNACHO / VERIMAG
Mots clés : soutenance thèse
Les commentaires ont été désactivés pour cette vidéo.
