User: Guest  Login
Author(s):
Stoimenov, Nikolay; Chakraborty, Samarjit; Thiele, Lothar 
Title:
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks 
Pages contribution:
198-213 
Book / Congress title:
4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA) 
Publisher address:
Heraklion, Crete, Greece 
Year:
2010