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
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