Formal Methods for Discrete-Time Dynamical Systems Background


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

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