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
10 vidéos
Colloque CNRS Sciences et Société en mutation 2007
12/02/2007
9 vidéos
Présentation du 6e PCRDT
01/01/2002
12 vidéos
JDEV 2017 plénières
04/07/2017
1 vidéo
Pose de la première pierre de l’Institut des scien...
15/01/2010
13 vidéos
Innovatives SHS
16/05/2013
42 vidéos
Increasing Researchers' employability in Europe: M...
03/10/2011
23 vidéos
JDEV 2017-amphi Berryer
05/07/2017
21 vidéos
JDEV 2017-amphi Emerigon
05/07/2017
4 vidéos
Les bonnes pratiques juridiques pour l'ASR 2011
12/01/2011
1 vidéo
Physique et Imagerie médicale
12/05/2017