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.
Documents
Email: francoisl[at]irif.fr