Formal Methods for Discrete-Time Dynamical Systems
Publisher: Springer
Published: Mar 17, 2017
Format: hardcover
Number of pages: 302
ISBN-13: 9783319507620
Notes: Source title: Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))