Contrôle de modèles dynamiques
MAP434 - année 2019


Enseignant responsable : Alexandre Ern

Equipe enseignante : Alexandre Ern (Gr 1&6), Ugo Boscain (Gr 2&7), Jean-Frédéric Gerbeau (Gr 3&8), Nicole Spillane (Gr 4&9), Mazyar Mirrahimi/Antonin Chambolle (Gr 5&10)

Programme des séances [polycopié]

Lecture recommandée

Modalités de validation

Annales