Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
ORACLE AMERICA INC


Jun 2015 - May 2019

Group : Verification of Algorithms, Languages and Systems
Principal investigator : BENZAKEN Véronique

Administrator : 
Affiliation : 

ORACLE AMERICA INC



Research activities

Participants


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT