Recent developments in theory and tool support for hybrid systems verification with HyPro

Schupp, Stefan (Corresponding author); Ábrahám, Erika; Ebert, Tristan

Amsterdam : Elsevier (2022)
Buchbeitrag, Fachzeitschriftenartikel

In: Information and Computation
Band: 289
Heft: Part A
Seite(n)/Artikel-Nr.: 104945

Einrichtungen

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