Testing Implementation Soundness of a WCET Analysis Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner. Testing Implementation Soundness of a WCET Analysis Tool. In Jian-Jia Chen, editor, A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday. pages 5-17, Springer, 2021. [doi]

This author has not been identified. Look up 'Reinhard Wilhelm' in GoogleThis author has not been identified. Look up 'Markus Pister 0002' in GoogleThis author has not been identified. Look up 'Gernot Gebhard' in GoogleThis author has not been identified. Look up 'Daniel Kästner' in Google

runs on WebDSL