| 書目名稱 | Design Automation of Cyber-Physical Systems |
| 編輯 | Mohammad Abdullah Al Faruque,Arquimedes Canedo |
| 視頻video | http://file.papertrans.cn/269/268356/268356.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 23:02
發(fā)表于 2025-3-21 19:22:26
