Handling of Operating Modes in Contract-Based Timing Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle. Handling of Operating Modes in Contract-Based Timing Specifications. In Ayoub Nouri, Weimin Wu, Kamel Barkaoui, Zhiwu Li, editors, Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Volume 13187 of Lecture Notes in Computer Science, pages 59-74, Springer, 2021. [doi]

This author has not been identified. Look up 'Janis Kröger' in GoogleThis author has not been identified. Look up 'Björn Koopmann' in GoogleThis author has not been identified. Look up 'Ingo Stierand' in GoogleThis author has not been identified. Look up 'Nadra Tabassam' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in Google

runs on WebDSL