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.
This entry was posted on Friday, September 10th, 2010 at 17:10 and is filed under Actions Afsec, Conférences, Conférences, Manifestations, WEED.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.