Formal Methods for Discrete Time Dynamical Systems
Calin Belta
Formal Methods for Discrete Time Dynamical Systems - 1st ed. 2017 - Springer 2017 - Studies in Systems Decision and Control .
9783319507637
Control and Systems Theory
Engineering
Formal Methods for Discrete Time Dynamical Systems - 1st ed. 2017 - Springer 2017 - Studies in Systems Decision and Control .
9783319507637
Control and Systems Theory
Engineering