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

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.

Sommario

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

Riassunto

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.

Dettagli sul prodotto

• Con la collaborazione di: Roger Chamberlain (Editore), Wali Taha (Editore), Walid Taha (Editore), Martin Törngren (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.01.2019
• EAN: 9783030237028
• ISBN: 978-3-0-3023702-8
• Pagine: 231
• Dimensioni: 155 mm x 235 mm x 13 mm
• Peso: 377 g
• Illustrazioni: XII, 231 p. 236 illus., 58 illus. in color.
• Serie: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Software applicativo; C, Computerhardware, Informationstechnik (IT), allgemeine Themen, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, computer science, Information Retrieval, Information Systems Applications (incl. Internet), Computer and Information Systems Applications, Application software, Microprogramming, Control Structures and Microprogramming, Architecture, Computer, Computer System Implementation, Systems analysis & design, Computers, Algorithms & data structures, Information technology: general issues, Internet searching, Computer simulation, Simulation and Modeling, Expert systems / knowledge-based systems, Computing Milieux, Special purpose computers, Special Purpose and Application-Based Systems, Computer Modelling