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
