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.

Resource-Parameterized Timing Analysis of Real-Time Systems

Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. Resource-Parameterized Timing Analysis of Real-Time Systems. In Nir Piterman, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Volume 9434 of Lecture Notes in Computer Science, pages 190-205, Springer, 2015. [doi]

Authors

Jin Hyun Kim

This author has not been identified. Look up 'Jin Hyun Kim' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Marius Mikucionis

This author has not been identified. Look up 'Marius Mikucionis' in Google

Brian Nielsen

This author has not been identified. It may be one of the following persons: Look up 'Brian Nielsen' in Google
runs on