Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
GDR7161/G673

Subvention
Oct. 2018 - Déc. 2018

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : BALABONSKI Thibaut

Gestionnaire : 
Organisme gérant : CNRS

GDR7161/G673

GDR7161/G673

Activités de recherche
  Démonstration automatique, SMT et applications

Membres LRI



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT