On the applicability of hybrid systems safety verification tools from the automotive perspective
Crossref DOI link: https://doi.org/10.1007/s10009-023-00707-0
Published Online: 2023-06-30
Published Print: 2024-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Schupp, Stefan
Ábrahám, Erika
Waez, Md Tawhid Bin
Rambow, Thomas
Qiu, Zeng
Funding for this research was provided by:
RWTH Aachen University
Text and Data Mining valid from 2023-06-30
Version of Record valid from 2023-06-30
Article History
Accepted: 30 May 2023
First Online: 30 June 2023