Date de début:
10:00
Date de fin:
11:00
Lieu:
Ecole Polytechnique
Ville:
Palaiseau
Producteur:
-

Durée:
30:54
Type:
video/mp4
Poids:
190.41 Mo
Format:
mp4
Résolution:
768x576
Codec:
-

Frédéric Lang

Langage de nouvelle génération pour la modélisation et vérification formelle de systèmes asynchrones

Frédéric Lang (INRIA)

Dernières vidéos