AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour March, 2008

FORMATS 2008 (du 15 au 17 septembre 2008)

Tuesday 11 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

Publié dans Actions Afsec, Manifestations, Conférences, Conférences | Pas de commentaire »

QEST 2008 (du 14 au 17 septembre 2008)

Tuesday 11 March 2008

5th International Conference on the Quantitative Evaluation of SysTems (QEST) 2008
(Co-located with the <FORMATS 2008 conference)

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

QEST 2008

Soumission des articles : 24 mars 2008
Notification de l’acceptation : 26 mai 2008

Publié dans Manifestations, Conférences | Pas de commentaire »