Special Track on Worst Case Traversal Time (WCTT)

Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea, Eric Thierry. Special Track on Worst Case Traversal Time (WCTT). In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 121, Springer, 2010. [doi]

Authors

Anne Bouillard

This author has not been identified. Look up 'Anne Bouillard' in Google

Marc Boyer

This author has not been identified. Look up 'Marc Boyer' in Google

Samarjit Chakraborty

This author has not been identified. Look up 'Samarjit Chakraborty' in Google

Steven Martin

This author has not been identified. Look up 'Steven Martin' in Google

Jean-Luc Scharbarg

This author has not been identified. Look up 'Jean-Luc Scharbarg' in Google

Giovanni Stea

This author has not been identified. Look up 'Giovanni Stea' in Google

Eric Thierry

This author has not been identified. Look up 'Eric Thierry' in Google