Master Informatique 2
Formalismes de Description de Systèmes
Année 2003/2004

• Le cours est également dispensé par Frédéric Herbreteau.
  • La partie Automates à contrainte
  • La partie Réseau de Petri (Merci à Stéphane Mariel)
• L'examen.
  • Le sujet.
  • Le corrigé.

Autres années

• Année courante.
• ...