Login
- Title:
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
- Author(s):
- Stoimenov, Nikolay; Chakraborty, Samarjit; Thiele, Lothar
- 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
BibTeX