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

Search alternatives:
"nonlinear dynamical systems" » "nonlinear dynamics systems", "nonlinear dynamic 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...”