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 l'intégrer dans une page Web.

Légende - Résumé :

Frédéric Lang présente l'équipe Inria VASY (Validation de systèmes, recherche et application) qui développe une boîte à outil nommée CADP qui permet de faire de la vérification et de l'évaluation de performance de systèmes qui contiennent du parallélisme.

Rencontres Inria - Industrie sur le thème "Les industries de l'aéronautique et de l'espace: modélisation et systèmes sûrs", le 17 mai 2010 à Toulouse.

Nom de fichier :
Inria-710-VASY-fr.mp4
Titre :
RII - Vérification de systèmes embarqués critiques avec CADP 2009.
Mots clés :
ACTIVITÉS ET SERVICES - Aéronautique - CONTEXTE INSTITUTIONNEL - Evaluation de performance - Rencontre Inria Industrie - Système embarqué - Transfert technologique - VASY
Lien Centre de Recherche :
Inria Grenoble - Rhône-Alpes
Lien Equipe-projet :
VASY
Auteur réalisateur :
Popovic, Marlène
Année :
2010
Durée (min) :
00:02:25

Albums (sélection d'images)

Fichiers en téléchargement



	Inria-710-VASY-fr_BDWeb.MP4 Format : .mp4 11,4 Mo 480 x 270 pixels Basse défiinition - Web Encodage PAL .MP4 H264 512 kbits/s


	Inria-710-VASY-fr_HD.MP4 Format : .mp4 88,8 Mo 1024 x 576 pixels Moyenne définition - équivalent DVD Encodage PAL .MP4 H264 5 Mbits/s

Sélection

Voir Selection

Déposer ici pour retirer de la sélection


Pseudo
Mot de passe