AFSEC

Approches Formelles des Systèmes Embarqués Communicants

FORMATS 2008 (du 15 au 17 septembre 2008)

11th March 2008

The 6th International Conference on Formal Modelling and Analysis of Timed Systems.
(Co-located with the Qest 2008 conference)
Soutenue par l’AFSEC

Saint-Malo, France, September 15—17, 2008

FORMATS 2008

Soumission des articles : 12 mai 2008
Notification de l’acceptation : 23 juin 2008

Leave a Reply

You must be logged in to post a comment.