Rajaa
Hakutulokset: Kirjoja kirjailijalta Boyan Yordanov
Rajaa
yhteensä 3 hakutulosta
Formal Methods for Discrete-Time Dynamical Systems
sidottu,
2017,
englanti,
ISBN 9783319507620
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general …
Formal Methods for Discrete-Time Dynamical Systems
e-kirja,
2017,
englanti,
ISBN 9783319507637
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general …
Formal Methods for Discrete-Time Dynamical Systems
nidottu,
2018,
englanti,
ISBN 9783319844855
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general …