Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
-
- US$34.99
-
- US$34.99
출판사 설명
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.
The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.
장르
컴퓨터 및 인터넷
출시일
2015년
10월 31일
언어
EN
영어
길이
154
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3.1
MB
Verification and Evaluation of Computer and Communication Systems
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022년
Quantitative Evaluation of Systems
2017년
Computer Performance Engineering
2010년
Formal Techniques for Safety-Critical Systems
2016년
Verification and Evaluation of Computer and Communication Systems
2020년