Lien vers la page du document Copiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.

Code HTML Copiez-collez le code ci-dessous pour intégrer le média dans une page Web.

Nom du fichier :
Alt-Ergo_INRIA-705-RII_proval_alterg.mp4

Durée (hh:mm:ss) :
00:02:41
Nom du fichier :
Alt-Ergo_INRIA-705-RII_proval_alterg.mp4
Légende :
Alt-Ergo, preuve automatique pour la certification de code critique

À voir aussi…

Thèmes

Libre de droits sans limite de temps



	Alt-Ergo_INRIA-705-RII_proval_alterg.mp4 Format : .mp4 93,4 Mo 1024 x 576 pixels


	Alt-Ergo_INRIA-705-RII_p_Phone.mp4 Format : .mp4 6,7 Mo 320 x 180 pixels Encodage PAL .mp4 H264 200 kbits/s


	Alt-Ergo_INRIA-705-RII_p_BDWeb.mp4 Format : .mp4 16,4 Mo 480 x 270 pixels Encodage PAL .mp4 H264 700 kbits/s


	Alt-Ergo_INRIA-705-RII_p_HDWeb.mp4 Format : .mp4 22,1 Mo 800 x 450 pixels Encodage PAL .mp4 H264 1 Mbits/s

Sélection

Voir sélection

Déposer ici pour retirer de la sélection



Entrez un lieu, une adresse, une ville, un pays... :

Distance :	près