Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
-
- $34.99
-
- $34.99
Publisher Description
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.
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