Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
-
- 34٫99 US$
-
- 34٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٥
٣١ أكتوبر
اللغة
EN
الإنجليزية
عدد الصفحات
١٥٤
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٣٫١
م.ب.
Verification and Evaluation of Computer and Communication Systems
٢٠١٨
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
٢٠٢٢
Quantitative Evaluation of Systems
٢٠١٧
Computer Performance Engineering
٢٠١٠
Formal Techniques for Safety-Critical Systems
٢٠١٦
Verification and Evaluation of Computer and Communication Systems
٢٠٢٠