Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adina Aniculaesei, Andreas Vorwald, Meng Zhang, Andreas Rausch. Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods. In 18th IEEE International Conference on Software Architecture Companion, ICSA Companion 2021, Stuttgart, Germany, March 22-26, 2021. pages 139-148, IEEE, 2021. [doi]

This author has not been identified. Look up 'Adina Aniculaesei' in GoogleThis author has not been identified. Look up 'Andreas Vorwald' in GoogleThis author has not been identified. Look up 'Meng Zhang' in GoogleThis author has not been identified. Look up 'Andreas Rausch' in Google

runs on WebDSL