EN FR
Inria scientific annual reports Inria
TYREX - 2014


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)



Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed and High Performance Computing
Keywords: Formal Methods, Programming Languages, Multimedia, Web, Augmented Reality