Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9361)
Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)
Conference series link(s): CyPhy: International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
Conference proceedings info: CyPhy 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 papers)
-
Front Matter
-
Back Matter
About this book
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.
Keywords
- 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
Editors and Affiliations
-
Halmstad University, Halmstad, Sweden
Mohammad Reza Mousavi
-
University of Gothenburg, Gothenburg, Sweden
Christian Berger
Bibliographic Information
Book Title: Cyber Physical Systems. Design, Modeling, and Evaluation
Book Subtitle: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Editors: Mohammad Reza Mousavi, Christian Berger
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-25141-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-25140-0Published: 10 November 2015
eBook ISBN: 978-3-319-25141-7Published: 31 October 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 147
Number of Illustrations: 43 illustrations in colour
Topics: Information Systems Applications (incl. Internet), Computer Communication Networks, Software Engineering, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Artificial Intelligence