Cyber Physical Systems. Design, Modeling, and Evaluation, 1st ed. 2015 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings Information Systems and Applications, incl. Internet/Web, and HCI Series
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.
Date de parution : 11-2015
Ouvrage de 147 p.
15.5x23.5 cm
Thèmes de Cyber Physical Systems. Design, Modeling, and Evaluation :
Mots-clés :
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; software engineering; software system models; system testing; theorem proving; timed and hybrid models