Accueil > Enseignement > ITR6 - Méthodes Formelles

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

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.