AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Modélisation des Systèmes Réactifs (MSR’13)

2nd June 2013

Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par l’AFSEC.

INRIA Rennes - Bretagne Atlantique, France, du 13 au 15 novembre 2013

Site : MSR’13

Leave a Reply

You must be logged in to post a comment.