tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Code HTML : Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Résumé :
Julien Deantoni présente l'équipe Inria AOSTE (Modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués) dont l'objectif est de faire des outils d'analyse basés sur des langages formels pour manipuler du temps logique.

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-699-AOSTE_TIMESQUARE-fr.mp4
Nom de fichier :
Inria-699-AOSTE_TIMESQUARE-fr.mp4
Année :
Titre :
RII - TimeSquare : spécifications fonctionnelles à base de temps logique en ingénierie des modèles.
Mots clés :
Centre de recherche (w) :
Equipe-Projet (www) :
Auteur scientifique :
Auteur réalisateur :
Inria-699-AOSTE_TIMESQUA_BDWeb.MP4

Format : .mp4
20,3 Mo
480 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
Inria-699-AOSTE_TIMESQUA_HD.MP4

Format : .mp4
158,1 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