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.