Français Anglais
Accueil Annuaire Plan du site
Production scientifique
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

° NEXT
NEXT