Accueil
>
Production scientifique
>
Tous les contrats
> Contrat
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
FASTRELAX
ANR
Oct. 2014 - Oct. 2018
Equipe :
Vérification d'Algorithmes, Langages et Systèmes
Responsable :
Gestionnaire :
Organisme gérant :
Fast and Reliable Approximation
Activités de recherche
Formalisation et preuves de programmes numériques
Membres LRI
BOLDO Sylvie
MELQUIOND Guillaume
Publications :
http://fastrelax.gforge.inria.fr/publications.html
Pour en savoir plus :
http://fastrelax.gforge.inria.fr/
Contrats
°
SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF
> tous les contrats
