| 书目名称 | Design Automation of Cyber-Physical Systems |
| 编辑 | Mohammad Abdullah Al Faruque,Arquimedes Canedo |
| 视频video | |
| 概述 | Provides a single-source reference on design automation of cyber-physical systems.Serves as a practical guide to managing complexity during the CPS development process with design automation tools and |
| 图书封面 |  |
| 描述 | .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.. . . |
| 出版日期 | Book 2019 |
| 关键词 | Internet of Things; Modeling Cyber-Physical Systems; High-level synthesis for Cyber-Physical Systems; F |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-13050-3 |
| isbn_softcover | 978-3-030-13052-7 |
| isbn_ebook | 978-3-030-13050-3 |
| copyright | Springer Nature Switzerland AG 2019 |
发表于 2025-3-21 19:22:26
