Accueil > Enseignement > ITR3 - Méthodes Formelles

ITR3 - Méthodes Formelles

Par Sylvain Rampacek le mardi 20 octobre 2009 à 16h08

En 2009/2010, dans le cadre du du module ITR3 du diplôme d’Ingénieur de l’EDIREM, j’ai enseigné les méthodes formelles.

Contenu du cours

Le cours concerne les Réseaux de Petri.

Volume horaire
- 6h CM
- 4h TD
- 6h TP

Etudiants de l’ESIREM, cliquez ici pour un accès privé pour le téléchargement des cours, identification nécessaire


Design downloaded from free website templates.