AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2017

Session Outils AFSEC et SED (GDR MACS) lors de MSR 2017

Friday 1 December 2017

Jeudi 17 novembre 2017
Session “Outils” Lors du 11e Colloque sur la Modélisation des Systèmes Réactifs MSR 2017.
Le programme est disponible : ici

Organisée par le GT SED et le GT AFSEC

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