AFSEC

Approches Formelles des Systèmes Embarqués Communicants

ATVA’07 (du 22 au 24 octobre 2007)

13th May 2007

Fifth International Symposium on Automated Technology for Verification and Analysis

Tokyo, Japan, October 22-24, 2007

ATVA 2007

Soumission des articles : 21 mai 2007
Notification de l’acceptation : 25 juin 2007

Leave a Reply

You must be logged in to post a comment.