AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2009

RTSS’09 (1-4 decembre 2009)

Monday 4 May 2009

The 30th IEEE Real-Time Systems Symposium

Washington, D.C., USA, December 1-4, 2009

RTSS 2009

Soumission des articles : 26 mai 2009
Notification de l’acceptation : 23 aout 2009

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

FORMATS’09 (13-16 Septembre 2009)

Monday 4 May 2009

The 7th International Conference on Formal Modelling and Analysis of Timed Systems.

Budapest, Hungary, 13-16 September 2009

FORMATS’09

Soumission des articles : 24 avril 2009
Notification de l’acceptation : 8 juin 2009

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