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
21 vidéos
JDEV 2017-amphi Emerigon
05/07/2017
42 vidéos
Increasing Researchers' employability in Europe: M...
03/10/2011
0 vidéo
Problématiques informatiques et libertés
04/04/2017
2 vidéos
Journée européenne des chercheuses 2014
28/03/2014
23 vidéos
Carrefour de l'IST 2012
15/11/2012
23 vidéos
JDEV 2017-amphi Berryer
05/07/2017
8 vidéos
Journée thématique QeR
15/12/2017
4 vidéos
Les bonnes pratiques juridiques pour l'ASR 2011
12/01/2011
9 vidéos
Science de la durabilité : quels enjeux ? quelles...
11/05/2022
25 vidéos
JDEV2011
29/09/2011