AFSEC

Approches Formelles des Systèmes Embarqués Communicants

ISoLA 2010 et WCTT Track

10th September 2010

La conférence ISoLA 2010 (4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010) a un track WCTT (Worst Case Traversal Time). La communauté AFSEC/WEED y est particulièrement bien représentée avec 5 papiers sur 9.

Leave a Reply

You must be logged in to post a comment.