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
Published on 1. July 2019
XII, 231 pages
978-3-030-23703-5 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XII, 231 p. 236 illus., 58 illus. in color.
File size
17,61 MB
ISBN-13
978-3-030-23703-5 (9783030237035)
DOI
10.1007/978-3-030-23703-5
Schweitzer Classification
Other editions
Additional editions
Roger Chamberlain | Walid Taha | Martin Törngren
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
Book
07/2019
Springer
€53.49
Shipment within 7-9 days
Content
Design.- Simulation and Tools.- Formal Methods.- Workshop on Embedded and Cyber-Physical Systems Education.
