Overview
- 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)
Included in the following conference series:
Conference proceedings info: CyPhy 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
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
Table of contents (10 papers)
Other volumes
-
Cyber Physical Systems. Design, Modeling, and Evaluation
Editors and Affiliations
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