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/