On the applicability of hybrid systems safety verification tools from the automotive perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu. On the applicability of hybrid systems safety verification tools from the automotive perspective. STTT, 26(1):49-78, February 2024. [doi]

This author has not been identified. Look up 'Stefan Schupp' in GoogleThis author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'Md Tawhid Bin Waez' in GoogleThis author has not been identified. Look up 'Thomas Rambow' in GoogleThis author has not been identified. Look up 'Zeng Qiu' in Google

runs on WebDSL