Responsable : Ahmed Bouajjani.
Horaire : lundi 16h-18h, salle 248E.
Responsable : Mihaela Sighireanu.
Horaire : jeudi 8h30-10h30, salle 248E ou salle TP 447C (SCRIPT, 4eme etage).
| Semaine | Cours | TD |
|---|---|---|
| 28 sep. | C-1 (STE) | TD-1 (STE) |
| 5 oct. | C-2 (STE) | TP-2 (STE et CADP) [corrigé aut, svl] |
| 12 oct. | C-3 (Réseaux de Petri) | TP-3 (STE et CADP) |
| 19 oct. | C-4 (Réseaux de Petri) | TP-4 (STE et CADP) |
| 26 oct. | C-5 (automates étendus, LTL) | TD-5 (STE et relations d'equivalence) |
| 2 nov. | C-6 (Automates temporises) | TD-6 (reseaux de Petri) |
| 9 nov. | C-7 (LTL) | TD-7 (partiel) |
| 16 nov. | C-8 (CTL) | TD-8 (reseaux de Petri, automates etendus) |
| 23 nov. | C-9 (logique de Hoare) | TD-9 (logique temporelle) |
| 30 nov. | C-10 | TP-10 (automates temporises et CTL, Uppaal) |
| 7 dec. | C-11 (automates et files d'attente) | TP-11 (cont. Uppaal, CTL) |
Dernière modification : Wed Sep 30 20:58:11 CEST 2009
URL: http://www.liafa.jussieu.fr/~sighirea/cours/modspec/index.html