Cyber Physical Systems. Model-Based Design
9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
Published on 17. February 2020
XII, 285 pages
978-3-030-41131-2 (ISBN)
Description
This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XII, 285 p. 170 illus., 57 illus. in color.
File size
27,86 MB
ISBN-13
978-3-030-41131-2 (9783030411312)
DOI
10.1007/978-3-030-41131-2
Schweitzer Classification
Other editions
Additional editions
Roger Chamberlain | Martin Edin Grimheden | Walid Taha
Cyber Physical Systems. Model-Based Design
9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
Book
02/2020
Springer
€53.49
Shipment within 7-9 days
Content
Models and Design.- Simulation and Tools.- Formal Methods.- Embedded and Cyber-Physical Systems Education.
