DESS Génie Logiciel
Spécifications Formelles
Année 2001/2002

• Les cours et TD sur le modèle des systèmes de transitions synchronisés et sur l'outil Mec.
  • Une version avec exercices non corrigés. (postcript compressé ~210 Ko)
    
  • Une version avec exercices corrigés. (postcript compressé ~260 Ko)
• L'examen.
  • Le sujet.
  • Le corrigé.
  • Les notes.

Autres années

• Année courante.
• ...
• 2000-2001.
• 1999-2000.
• 1998-1999.
• 1997-1998.