Formal Methods for Discrete-Time Dynamical Systems Background
FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS, cilt.89, ss.257-271, 2017 (SCI-Expanded)
- Yayın Türü: Makale / Editöre Mektup
- Cilt numarası: 89
- Basım Tarihi: 2017
- Doi Numarası: 10.1007/978-3-319-50763-7
- Dergi Adı: FORMAL METHODS FOR DISCRETE-TIME DYNAMICAL SYSTEMS
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED)
- Sayfa Sayıları: ss.257-271
- Orta Doğu Teknik Üniversitesi Adresli: Evet