Sites Inria

Il y a 1 Résultats avec le mot clé : "ProofInUse"

Partenariat Recherche-Industrie

ProofInUse : kickoff meeting

Emmanuelle Perrot - 2/02/2015

Après plusieurs mois de construction, le labcom ProofInUse prend toute sa dimension opérationnelle. C’est en effet aujourd’hui qu’est officiellement lancé le début des travaux de développement qui vont permettre de fournir des outils de vérification pour les systèmes critiques.

Mots-clés :

Accueil > Centre > Saclay > Actualités > ProofInUse : kickoff meeting

Lire la suite

Haut de page

Suivez Inria