Formal Methods for Discrete-Time Dynamical Systems Background


Belta C., Yordanov B., AYDIN GÖL E.

FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS, vol.89, pp.257-271, 2017 (SCI-Expanded) identifier