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
1 vidéo
Comets : Enjeux éthiques des nanosciences et nanot...
01/10/2006
9 vidéos
Présentation du 6e PCRDT
01/01/2002
9 vidéos
Tercer Encuentro Francia-America del sur sobre cie...
13/09/2023
1 vidéo
Pose de la première pierre de l’Institut des scien...
15/01/2010
0 vidéo
Problématiques informatiques et libertés
04/04/2017
42 vidéos
Increasing Researchers' employability in Europe: M...
03/10/2011
9 vidéos
Science de la durabilité : quels enjeux ? quelles...
11/05/2022
2 vidéos
Faites une pause littéraire
29/11/2010
11 vidéos
Journée PLUME biologie 2012
15/05/2012