Formal methods for discrete-time dynamical systems
Belta Calin, Yordanov Boyan, Gol Ebru AydinKniha
Citace v seznamu literatury:
BELTA, Calin; YORDANOV, Boyan a GOL, Ebru Aydin. Formal methods for discrete-time dynamical systems. Studies in systems, decision and control. Cham, Switzerland: Springer, [2017]. Dostupné z: https://doi.org/9783319507637.