AFSEC

Approches Formelles des Systèmes Embarqués Communicants

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

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

Leave a Reply

You must be logged in to post a comment.