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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Chamberlain, Roger (Editor, http://id.loc.gov/vocabulary/relators/edt), Taha, Walid (Editor, http://id.loc.gov/vocabulary/relators/edt), Törngren, Martin (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11615
• Subjects: Computer simulation.; Application software.; Special purpose computers.; Architecture, Computer.; Computers.; Microprogramming .; Simulation and Modeling.; Information Systems Applications (incl. Internet).; Special Purpose and Application-Based Systems.; Computer System Implementation.; Computing Milieux.; Control Structures and Microprogramming.

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 Oc...

Table of Contents:

• Design
• Simulation and Tools
• Formal Methods
• Workshop on Embedded and Cyber-Physical Systems Education.