Runtime Verification of AUTOSAR Timing Extensions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma. Runtime Verification of AUTOSAR Timing Extensions. In Yasmina Abdeddaïm, Liliana Cucu-Grosjean, Geoffrey Nelissen, Laurent Pautet, editors, RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022. pages 173-183, ACM, 2022. [doi]

This author has not been identified. Look up 'Max Jonas Friese' in GoogleThis author has not been identified. Look up 'Hannes Kallwies' in GoogleThis author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'Martin Sachenbacher' in GoogleThis author has not been identified. Look up 'Hendrik Streichhahn' in GoogleThis author has not been identified. Look up 'Daniel Thoma' in Google

runs on WebDSL