Formal Methods for Discrete-Time Dynamical Systems
de Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Materias
Ediciones (2)
- Formal Methods for Discrete-Time Dynamical Systems (2018)
Springer · ISBN 9783319844855
- Formal Methods for Discrete-Time Dynamical Systems (2017)
Springer · ISBN 9783319507620