AFSEC

Journée “Robustesse dans les systèmes concurrents” le 19 octobre 2012

16th October 2012

4 exposés “Time constrained MSC Graph”, “la Robustesse dans les timed Petri nets”, “Une sémantique (séquentielle) alternative pour les TPN”, les “Dépendances logiques entre les événements dans les dépliages de réseaux de Petri temporels”
Discussions

Leave a Reply

You must be logged in to post a comment.