Cyber Physical Systems. Model-Based Design

8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Roger Chamberlain, Walid Taha, Martin Törngren (Herausgeber)

Buch | Softcover

XII, 231 Seiten

2019
Springer International Publishing (Verlag)
9783030237028 (ISBN)

Artikel merken

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

Design.- Simulation and Tools.- Formal Methods.- Workshop on Embedded and Cyber-Physical Systems Education.

Erscheinungsdatum	03.07.2019
Reihe/Serie	Information Systems and Applications, incl. Internet/Web, and HCI
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XII, 231 p. 236 illus., 58 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	379 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Cyber-Physical Systems • Design • Education • Embedded Systems • Hardware • Model Checking • Modeling • Real-Time Systems • Reliability • Safety • Semantics • Simulation • Software engineering • Software Evaluation • verification
ISBN-13	9783030237028 / 9783030237028
Zustand	Neuware