AFSEC

Approches Formelles des Systèmes Embarqués Communicants

MSR’09 (du 16 au 18 Novembre 2009)

3rd April 2009

Septième Colloque Francophone sur la Modélisation des Systèmes Réactifs
Soutenu par les GDR ASR et MACS et par l’action transversale AFSEC.

Nantes, du 16 au 18 Novembre 2009

Site : MSR’09

. Pré-soumission des résumés : 15 mai 2009
. Soumission des articles : 24 mai 2009
. Notification de l’acceptation : 1 juillet 2009

Les articles acceptés seront publiés dans un numéro spécial du journal JESA.
Télécharger l’appel à communications au format pdf : CFP-MSR09

Leave a Reply

You must be logged in to post a comment.