MPG.eBooks - Search Results - "dynamical systems"

Search alternatives:
"dynamical systems" » "dynamics systems", "dynamic systems"

Cover Image

1

Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Published 2019

Springer International Publishing

Table of Contents: “...Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified...”