Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.
The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
١١ يناير
اللغة
EN
الإنجليزية
عدد الصفحات
١٣٨
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٫٧
م.ب.
Model-Driven Engineering and Software Development
٢٠٢١
Cyber Physical Systems. Model-Based Design
٢٠١٩
Software Engineering and Formal Methods
٢٠١٨
Software Technologies: Applications and Foundations
٢٠١٨
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
٢٠١٦
Formal Methods for Industrial Critical Systems
٢٠١٨