Module "Modélisation et spécification"

Master 2 Logiciels critiques

Année 2009-2009

BARRE

Cours

Responsable : Ahmed Bouajjani.

Horaire : mercredi 16h30-18h30, salle 477F.

TD

Responsable : Mihaela Sighireanu.

Horaire : jeudi 8h30-10h30, salle 477F ou salle TP E (SCRIPT, 4eme etage).

Calendrier et polycopies

SemaineCoursTD
1 oct. C-1 (STE) C-2 (STE)
8 oct. TD-1 (STE) -
15 oct. C-3 (Réseaux de Petri) -
22 oct. C-4 (Réseaux de Petri) TD-2 (STE), TD-3 (RdP)
29 oct. TP-4 (CADP) férié
5 nov. C-5 TD-5 (automates étendu), TP-6 (Spin)
12 nov. C-6 TD-7 ()
19 nov. C-7 TD-7 ()
26 nov. C-8 TD-7 ()

Contrôle de connaissances

Archives




Dernière modification : Wed Nov 22 20:56:16 CET 2006
URL: http://www.liafa.jussieu.fr/~sighirea/cours/modspec/index.html