Techniques and Tools for Hybrid Systems Reachability Analysis

Cham / Springer International Publishing - Springer (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-06650