Sites Inria

Il y a 2 Résultats avec le mot clé : "Collaboration"

Claude Marché, responsable de l'équipe Toccata - © Inria / Photo Kaksonen

Partenariat recherche-industrie

ProofInUse : le LabCom Inria-AdaCore

Bertrand Bourgine (*) - 17/03/2014

Avec le lancement d’un Laboratoire Commun ou LabCom, l’équipe de recherche Toccata spécialisée dans les spécifications formelles et les preuves assistées par ordinateur renforce sa collaboration avec AdaCore , éditeur spécialisé dans les logiciels pour le développement de systèmes critiques.

Mots-clés :

Accueil > Centre > Saclay > Actualités > ProofInUse : le LabCom Inria-AdaCore

Lire la suite

Partenariat recherche-industrie

Vers des avions plus sobres

Olivier Lapirot - 25/03/2014

Grâce au soutien de l'équipe Commands, la start-up Safety Line, propose à l’industrie aéronautique une solution pour optimiser les phases de décollage. Objectif : réduire la consommation de carburant.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Vers des avions plus sobres

Lire la suite

Haut de page

Suivez Inria