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: 9783030130527
- Medium: Buch
- ISBN: 978-3-030-13052-7
- Verlag: Springer International Publishing
- Erscheinungstermin: 14.08.2020
- Sprache(n): Englisch
- Auflage: 1. Auflage 2019
- Produktform: Kartoniert
- Gewicht: 458 g
- Seiten: 288
- Format (B x H x T): 155 x 235 x 17 mm
- Ausgabetyp: Kein, Unbekannt