all documents
  • all documents
Advanced search
Search set :
all documents
  • all documents
Search by geolocation
Search :
Enter a landmark, address, city, country... :
Distance :  close
Search set :
all documents
  • all documents
Embed code : Copy and paste the embed code above to display this media inside a web page.
Abstract :
My team in 180 seconds : a researcher presents briefly the work of his project-team.
CONVECS : Construction of verified concurrent systems
Date of production :
Duration (mn) :
00:02:50
Language :
Version française
Available languages :
Français
Research project-team :
Research center :
Keywords :
Master N° :
1153
Scientific author :
Production :
Inria - direction de la communication
Author director :
Gaumin, Pierre-Olivier
Permalink :
Inria-1153-CONVECS-180sec-FR.mp4

Format : .mp4
326 MB
1920 x 1080 pixels
Inria-1153-CONVECS-180se_BDWeb.MP4

Format : .mp4
12,9 MB
480 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
Encodage PAL .MP4 H264
512 kbits/s
Inria-1153-CONVECS-180se_HD.MP4

Format : .mp4
103,8 MB
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Encodage PAL .MP4 H264
5 Mbits/s
Selection
See selection
Drop here to remove from your selection