Techniques and Tools for Hybrid Systems Reachability Analysis

Ábrahám, Erika (Corresponding author)

Cham : Springer International Publishing - Springer (2017)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate ; Sylvie Boldo (Eds.)
Seite(n)/Artikel-Nr.: XVI-XVII

Identifikationsnummern