Login
- Autor(en):
- Stoimenov, Nikolay; Chakraborty, Samarjit; Thiele, Lothar
- Titel:
- An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
- Seitenangaben Beitrag:
- 198-213
- Kongress- / Buchtitel:
- 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA)
- Verlagsort:
- Heraklion, Crete, Greece
- Jahr:
- 2010
BibTeX