JDEV2013

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

Du même auteur
8 vidéos
Journée thématique QeR
15/12/2017
2 vidéos
Faites une pause littéraire
29/11/2010
0 vidéo
Problématiques informatiques et libertés
04/04/2017
15 vidéos
RECFA
12/05/2006
13 vidéos
Innovatives SHS
16/05/2013
13 vidéos
En quête des recherches sur le genre
08/03/2010
21 vidéos
JDEV 2017-amphi Emerigon
05/07/2017
10 vidéos
Colloque CNRS Sciences et Société en mutation 2007
12/02/2007
25 vidéos
JDEV2011
29/09/2011
12 vidéos
JDEV 2017 plénières
04/07/2017