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

Schupp, Stefan (Corresponding author); Ábrahám, Erika; Waez, Md Tawhid Bin; Rambow, Thomas; Qiu, Zeng

Heidelberg [u.a.] : Springer (2023)
Journal Article

In: International journal on software tools for technology transfer


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]