External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices

Omar I. Al-Bataineh, Mark Reynolds, Tim French. Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. In Axel Legay, Marius Bozga, editors, Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Volume 8711 of Lecture Notes in Computer Science, pages 38-52, Springer, 2014. [doi]

Authors

Omar I. Al-Bataineh

This author has not been identified. Look up 'Omar I. Al-Bataineh' in Google

Mark Reynolds

This author has not been identified. Look up 'Mark Reynolds' in Google

Tim French

This author has not been identified. Look up 'Tim French' in Google
runs on