ITR6 - Méthodes Formelles
Par Sylvain Rampacek le lundi 12 octobre 2009 à 16h21
De Septembre 2007 à Juin 2010, dans le cadre du du module ITR6 du diplôme d’Ingénieur de l’EDIREM, j’ai enseigné les méthodes formelles.
Contenu du cours
Le cours concerne les automates temporisés.
Volume horaire
– 4h CM
– 6h TD
– 4h TP
