Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Seiten
2017
|
1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-51737-7 (ISBN)
Springer International Publishing (Verlag)
978-3-319-51737-7 (ISBN)
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.
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.
| Erscheinungsdatum | 07.02.2017 |
|---|---|
| Reihe/Serie | Information Systems and Applications, incl. Internet/Web, and HCI | Lecture Notes in Computer Science |
| Zusatzinfo | XI, 127 p. 47 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Schlagworte | Applications • Computer Science • conference proceedings • Contract-based design • Cyber-Physical Systems • differential testing • formal methods • formal specification • hybrid identification • Hybrid Systems • Informatics • Information Retrieval • information systems applications (incl. internet) • Internet Searching • loop invariants • model-based design • Model Checking • Model-Driven Engineering • model transformation • ontological reasoning • Ontologies • Research • Simulation • Symbolic analysis • System Identification • test automation • Testing • verification |
| ISBN-10 | 3-319-51737-6 / 3319517376 |
| ISBN-13 | 978-3-319-51737-7 / 9783319517377 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
