Formal Methods for Discrete-Time Dynamical Systems
"Calin Belta, Boyan Yordanov, Ebru Aydin Gol"
Formal Methods for Discrete-Time Dynamical Systems - Springer 2017
978-3-319-50763-7
"Engineering; Control; Complexity; Systems Theory, Control"
Formal Methods for Discrete-Time Dynamical Systems - Springer 2017
978-3-319-50763-7
"Engineering; Control; Complexity; Systems Theory, Control"