Cyber Physical Systems. Model-Based Design
8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
-
- US$39.99
-
- US$39.99
출판사 설명
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
장르
컴퓨터 및 인터넷
출시일
2019년
7월 1일
언어
EN
영어
길이
243
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
16.9
MB
Cyber Physical Systems. Design, Modeling, and Evaluation
2017년
Cyber Physical Systems. Model-Based Design
2020년
Software Engineering and Formal Methods
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018년
Foundations of Computer Software
2011년
Principles of Modeling
2018년