Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Henkler, Martin Hirsch 0001. Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. In Tung X. Bui, editor, 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023. pages 6778-6787, ScholarSpace, 2023. [doi]

This author has not been identified. Look up 'Stefan Henkler' in GoogleThis author has not been identified. Look up 'Martin Hirsch 0001' in Google

runs on WebDSL