JDEV2013
Date de début :
04/09/2013 10:00
Date de fin :
04/09/2013 11:00
Lieu :
Ecole Polytechnique
Ville :
Palaiseau
Producteur :
CNRS
Durée :
0:30:54
Type :
video/mp4
Format :
mp4
Résolution :
768x576
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
0:30:54
Frédéric Lang
Assemblée générale A3 CNRS
18/04/2024 - 10:00
Rencontres d’OpenEdition avec ses communautés d’utilisateurs
16/06/2022 - 14:00
Physique et Imagerie médicale
12/05/2017 - 10:52
Observation du système Terre
07/11/2022 - 13:00
Terceiro encontro França-América do Sul sobre ciência aberta
13/09/2023 - 09:00
Cérémonie d’ouverture de l’Année de la physique
03/10/2023 - 09:45
European Association of Social Anthropologists-EASA 2012
10/07/2012 - 09:00
Les bonnes pratiques juridiques pour l'ASR 2011
12/01/2011 - 09:00
Remise des talents du CNRS 2010 en Rhône-Auvergne
12/04/2011 - 14:00