Cyber Physical Systems. Design, Modeling, and Evaluation
7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.
Cyber Physical Systems. Model-Based Design
٢٠٢٠
Cyber Physical Systems. Model-Based Design
٢٠١٩
Software Engineering and Formal Methods
٢٠١٨
Formal Techniques for Safety-Critical Systems
٢٠٢٠
Computer Aided Systems Theory – EUROCAST 2022
٢٠٢٣
Cyber Physical Systems. Design, Modeling, and Evaluation
٢٠١٧