Section: Dissemination

University courses

Thierry Jéron

is teaching in Model-based Testing in Research Master of Computer Science at the University of Rennes 1.

Nathalie Bertrand

taught modelisation in computer science to students of ENS Ker Lann in March 2009 and gave a lecture on Timed Automata in Master 2 Research at the University of Rennes 1 in October 2009.

Christophe Morvan

is teaching at the University of Marne La Vallée (192h/year).