Design Automation of Cyber-Physical Systems
(Bog, Hardback, Engelsk)
Forlag:
Springer Nature Switzerland AG
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9783030130497
- Se flere detaljer ▼
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Nature Switzerland AG |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2019 ed. |
| Udgivelsesdato | 17-05-2019 |
| Første udgivelsesår | 2019 |
| Illustrationer | 80 Illustrations, color; 22 Illustrations, black and white |
| Fagredaktør | Mohammad Abdullah Al Faruque, Arquimedes Canedo |
| Originalsprog | Switzerland |
| Sideantal | 288 |
| Indbinding | Hardback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 288 pages, 80 Illustrations, color; 22 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783030130497 |