Modélisation et spécification-- M2 (2019--2020)

Equipe enseignante

François Laroussinie et Arnaud Sangnier.

Actualités



Programme

Modélisation avec des systèmes de transition, composition parallèle, réseaux de Petri,... Spécification en logique temporelle. TP avec l'outil PRISM.

Les notes du partiel sont ICI.

Documents


Email: francois.laroussinie[at]univ-paris-diderot.fr