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.

Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation

Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró. Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embedded Comput. Syst., 20(6), 2021. [doi]

Authors

Márton Búr

This author has not been identified. Look up 'Márton Búr' in Google

Kristóf Marussy

This author has not been identified. Look up 'Kristóf Marussy' in Google

Brett H. Meyer

This author has not been identified. Look up 'Brett H. Meyer' in Google

Dániel Varró

This author has not been identified. It may be one of the following persons: Look up 'Dániel Varró' in Google
runs on