DEA d'informatique de l'université de Rennes 1
Filière 2 : «génie logiciel et méthodes formelles»
Module A2R
« analyse comportementale de systèmes réactifs et répartis »
Les pages web du module ont été déplacées :
http://www.irisa.fr/s4/dea/a2r/