85,99 €
inkl. MwSt.
Versandkostenfrei*
Erscheint vorauss. 29. April 2025
payback
43 °P sammeln
  • Broschiertes Buch

"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--

Produktbeschreibung
"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Lars Lindemann is Assistant Professor in the Thomas Lord Department of Computer Science within the School of Advanced Computing at the University of Southern California. Dimos V. Dimarogonas is Professor of Automatic Control and Head of Division at the Division of Decision and Control Systems within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology.