MPG.eBooks - Search Results - "nonlinear dynamics systems"

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

Cover Image

1

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Published 2013

Springer International Publishing

Table of Contents: “... Computation of Nonlinear Dynamical Systems -- CELL: A Compositional Verification Framework -- VCS: A Verifier...”