Techniques and Tools for Hybrid Systems Reachability Analysis

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

The 10th International Workshop on Numerical Software Verification

Authors

Selected Authors

Ábrahám, Erika

Identifier

  • ISBN: 978-3-319-63500-2 (print)
  • ISBN: 978-3-319-63501-9 (electronic)
  • REPORT NUMBER: RWTH-2017-06650