Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
The 10 papers presented together  with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. 

Sommario

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

Riassunto

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
The 10 papers presented together  with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. 

Dettagli sul prodotto

• Con la collaborazione di: Roger Chamberlain (Editore), Walid Taha (Editore), Martin Törngren (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 13.04.2019
• EAN: 9783030179090
• ISBN: 978-3-0-3017909-0
• Pagine: 159
• Dimensioni: 155 mm x 235 mm x 9 mm
• Peso: 272 g
• Illustrazioni: X, 159 p. 70 illus., 31 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, Software Engineering, Theoretische Informatik, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, computer science, computer hardware, Information Systems Applications (incl. Internet), Information Systems Applications (incl.Internet), Theory of Computation, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Application software, Architecture, Computer, Computer System Implementation, Systems analysis & design, Operating systems, Computer programming / software engineering, Internet searching, Expert systems / knowledge-based systems, Computer architecture & logic design, Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computer Science Logic and Foundations of Programming