Vidéos

Vidéo de présentation du laboratoire

Tutoriel sur la vérification paramétrique

Journée de l’OSIS (Open Source Innovation Spring) 2016

Série d’exposé sur les réseaux de Petri symétriques