Format:
1 Online-Ressource (XII, 231 p. 236 illus., 58 illus. in color)
Edition:
1st ed. 2019
ISBN:
9783030237035
Series Statement:
Information Systems and Applications, incl. Internet/Web, and HCI 11615
Content:
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education
Content:
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
Additional Edition:
ISBN 9783030237028
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-23702-8
Language:
English
DOI:
10.1007/978-3-030-23703-5
Bookmarklink