Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Includes supplementary material: sn.pub/extras
Autor*in
Christian Berger
Themen in »Cyber Physical Systems. Design, Modeling, and Evaluation«
concurrency embedded systems formal methods models of computation system description languages cyber-physical systems embedded hardware embedded software embedded systems formal methods formal verification model checking real-time systems sensor networks simulation