MPRI - Modélisation et vérification des systèmes temporisés -- M2 (2021--2022)

Equipe enseignante 2021-2022

François Laroussinie et Patricia Bouyer .

Actualités




Documents

Les documents mis en ligne n'ont pas tous été vus en cours (ils complètent le cours et vos notes personnelles):

Email: francoisl[at]irif.fr