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
Başlık:
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
Yazar:
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
ISBN:
9783030237035
Edisyon:
1st ed. 2019.
Fiziksel Niteleme:
XII, 231 p. 236 illus., 58 illus. in color. online resource.
Seri:
Information Systems and Applications, incl. Internet/Web, and HCI ; 11615
İçindekiler:
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Özet:
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.
Konu Başlığı:
Ek Kurum Yazar:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-23703-5