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.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
58
178 s/w Abbildungen, 58 farbige Abbildungen
XII, 231 p. 236 illus., 58 illus. in color.
Dateigröße
ISBN-13
978-3-030-23703-5 (9783030237035)
DOI
10.1007/978-3-030-23703-5
Schweitzer Klassifikation
Design.- Simulation and Tools.- Formal Methods.- Workshop on Embedded and Cyber-Physical Systems Education.