University of Versailles and LIX (Laboratory of Informatics at Ecole Polytechnique)

Bowles, J. K. F. (Visiting researcher)

School of Computer Science

Activity: Visiting an external institution types › Visiting an external academic institution

Description

Research visit

Invited research visit to the University of Versailles and LIX (Laboratory of Informatics at Ecole Polytechnique) supported by Digiteo (Fondation de Coopération Scientifique Campus Paris-Saclay) in the context of formal verification of mobile distributed systems

Digiteo invited researcher

Period	3 Dec 2012 → 18 Dec 2012
Visiting	University of Versailles and LIX (Laboratory of Informatics at Ecole Polytechnique)