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
11 vidéos
Journée PLUME biologie 2012
15/05/2012
23 vidéos
JDEV 2017-amphi Berryer
05/07/2017
18 vidéos
Observation du système Terre
07/11/2022
42 vidéos
Increasing Researchers' employability in Europe: M...
03/10/2011
25 vidéos
JDEV2011
29/09/2011
9 vidéos
Terceiro encontro França-América do Sul sobre ciên...
13/09/2023
9 vidéos
Tercer Encuentro Francia-America del sur sobre cie...
13/09/2023
13 vidéos
En quête des recherches sur le genre
08/03/2010
10 vidéos
Colloque CNRS Sciences et Société en mutation 2007
12/02/2007
1 vidéo
Assemblée générale A3 CNRS
18/04/2024