Skip to main content
Top
Published in: International Journal on Software Tools for Technology Transfer 1/2024

Open Access 30-06-2023 | General

On the applicability of hybrid systems safety verification tools from the automotive perspective

Authors: Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu

Published in: International Journal on Software Tools for Technology Transfer | Issue 1/2024

loading …
Metadata
Title
On the applicability of hybrid systems safety verification tools from the automotive perspective
Authors
Stefan Schupp
Erika Ábrahám
Md Tawhid Bin Waez
Thomas Rambow
Zeng Qiu
Publication date
30-06-2023
Publisher
Springer Berlin Heidelberg
Published in
International Journal on Software Tools for Technology Transfer / Issue 1/2024
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-023-00707-0

Other articles of this Issue 1/2024

International Journal on Software Tools for Technology Transfer 1/2024 Go to the issue

Premium Partner