This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.
Produkteigenschaften
- Artikelnummer: 9783030130497
- Medium: Buch
- ISBN: 978-3-030-13049-7
- Verlag: Springer International Publishing
- Erscheinungstermin: 17.05.2019
- Sprache(n): Englisch
- Auflage: 1. Auflage 2019
- Produktform: Gebunden
- Gewicht: 617 g
- Seiten: 288
- Format (B x H x T): 160 x 241 x 22 mm
- Ausgabetyp: Kein, Unbekannt