MPG.eBooks - Search Results - (("dynamical systems") or ((("dynamic systems") OR ("economic systems"))))

Search alternatives:
"economic systems" » "economic sectors"
"dynamical systems" » "dynamics systems"

Cover Image

1

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Published 2020

Springer International Publishing

Table of Contents: “... -- Hybrid and Dynamic Systems...”

Cover Image

2

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

“... procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic...”