AFSEC

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, Conférences, Conférences, Manifestations | 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 Conférences, Manifestations | Pas de commentaire »