| 书目名称 | Cyber Physical Systems. Design, Modeling, and Evaluation | | 副标题 | 6th International Wo | | 编辑 | Christian Berger,Mohammad Reza Mousavi,Rafael Wisn | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This book constitutes the proceedings of the 6th International Workshop.on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy.2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, in.October 2016..The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.. | | 出版日期 | Conference proceedings 2017 | | 关键词 | formal methods; hybrid systems; model checking; ontologies; symbolic analysis; contract-based design; cybe | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-51738-4 | | isbn_softcover | 978-3-319-51737-7 | | isbn_ebook | 978-3-319-51738-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG 2017 |
The information of publication is updating
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation影响因子(影响力)
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation影响因子(影响力)学科排名
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation网络公开度
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation网络公开度学科排名
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation被引频次
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation被引频次学科排名
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation年度引用
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation年度引用学科排名
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation读者反馈
书目名称Cyber Physical Systems. Design, Modeling, and Evaluation读者反馈学科排名
|
|
|
发表于 2025-3-21 19:36:25
