Master IS EEAPR M2R2.1

Atelier "Evaluation de performance"

Atelier "Vérification formelle par Model-Checking"


last update 26 nov. 2008