Formal Methods for Discrete-Time Dynamical Systems
Publisher: Springer
Published: Jul 21, 2018
Format: paperback
Number of pages: 302
ISBN-13: 9783319844855
Notes: Source title: Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))