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)
Fachzeitschriftenartikel

In: International journal on software tools for technology transfer

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]

Identifikationsnummern