An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele. An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks. 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 198-213, Springer, 2010. [doi]

This author has not been identified. Look up 'Nikolay Stoimenov' in GoogleThis author has not been identified. Look up 'Samarjit Chakraborty' in GoogleThis author has not been identified. Look up 'Lothar Thiele' in Google

runs on WebDSL