AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour October, 2012

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

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

Publié dans Actions Afsec, Journées | Pas de commentaire »