Home
2014 Project-Team Activity Report
TYREX
Types and Reasoning for the Web
Research centre:
Grenoble - Rhône-Alpes
In partnership with: CNRS, Institut polytechnique de Grenoble, Université Pierre Mendes-France (Grenoble), Université Joseph Fourier (Grenoble)
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)
Field: Networks, Systems and Services, Distributed Computing
Theme: Distributed and High Performance Computing
Theme: Distributed and High Performance Computing
Keywords: Formal Methods, Programming Languages, Multimedia, Web, Augmented Reality