Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
-
- $39.99
-
- $39.99
Publisher Description
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.
GENRE
Computers & Internet
RELEASED
2017
January 11
LANGUAGE
EN
English
LENGTH
138
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
2.7
MB
Model-Driven Engineering and Software Development
2021
Cyber Physical Systems. Model-Based Design
2019
Software Engineering and Formal Methods
2018
Software Technologies: Applications and Foundations
2018
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Methods for Industrial Critical Systems
2018