8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers /
First Statement of Responsibility
edited by Roger Chamberlain, Walid Taha, Martin Törngren.
EDITION STATEMENT
Edition Statement
1st ed. 2019.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham :
Name of Publisher, Distributor, etc.
Springer International Publishing,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 231 pages) :
Other Physical Details
236 illustrations, 58 illustrations in color
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
Volume Designation
11615
CONTENTS NOTE
Text of Note
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
0
SUMMARY OR ABSTRACT
Text of Note
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.