|  |
 |
| Artikel-Nr.: 858A-9783319517377 Herst.-Nr.: 9783319517377 EAN/GTIN: 9783319517377 |
| |
|
|  |  |
 | 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. Weitere Informationen:  |  | Author: | Christian Berger; Mohammad Reza Mousavi; Rafael Wisniewski | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: Datenbanken (Fachbücher), Datenbankenbücher, datenbanken (fachbücher), formal methods, hybrid systems, model checking, ontologies, symbolic analysis, contract-based design, cyber-physical systems, differential testing, formal specification, hybrid identification, loop invariants |
|  |  |
| |