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.

Contracts for Schedulability Analysis

Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand. Contracts for Schedulability Analysis. In Sriram Sankaranarayanan, Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Volume 9268 of Lecture Notes in Computer Science, pages 270-287, Springer, 2015. [doi]

Authors

Philipp Reinkemeier

This author has not been identified. Look up 'Philipp Reinkemeier' in Google

Albert Benveniste

This author has not been identified. Look up 'Albert Benveniste' in Google

Werner Damm

This author has not been identified. Look up 'Werner Damm' in Google

Ingo Stierand

This author has not been identified. Look up 'Ingo Stierand' in Google
runs on