AFSEC

Approches Formelles des Systèmes Embarqués Communicants

ATVA’06 (du 23 au 26 octobre 2006)

15th 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

Leave a Reply

You must be logged in to post a comment.