AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2006

ATVA’06 (du 23 au 26 octobre 2006)

Monday 15 May 2006

Fourth International Symposium on Automated Technology for Verification and Analysis,
Beijing, China, 23-26 October 2006: ATVA 2006.

Soumission des articles : 27 mai 2006
Notification de l’acceptation : 10 juillet 2006

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