Techniques and Tools for Hybrid Systems Reachability Analysis

Ábrahám, Erika (Corresponding author)

Cham : Springer International Publishing - Springer (2017)
Contribution to a book, Contribution to a conference proceedings

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