| 书目名称 | Cyber Physical Systems. Model-Based Design |
| 副标题 | 9th International Wo |
| 编辑 | Roger Chamberlain,Martin Edin Grimheden,Walid Taha |
| 视频video | http://file.papertrans.cn/242/241727/241727.mp4 |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019..The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. .The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.. |
| 出版日期 | Conference proceedings 2020 |
| 关键词 | software engineering; verification; education; modeling; simulation; design; cyber-physical systems; embedd |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-41131-2 |
| isbn_softcover | 978-3-030-41130-5 |
| isbn_ebook | 978-3-030-41131-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer Nature Switzerland AG 2020 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-11 02:56
发表于 2025-3-21 17:50:57
