03478nam 22007575 450 991033785300332120250630103226.03-030-17910-910.1007/978-3-030-17910-6(CKB)4100000007938080(DE-He213)978-3-030-17910-6(MiAaPQ)EBC5922090(PPN)235668591(EXLCZ)99410000000793808020190412d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierCyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /edited by Roger Chamberlain, Walid Taha, Martin Törngren1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (X, 159 p. 70 illus., 31 illus. in color.) Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;11267Includes index.3-030-17909-5 Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.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. .Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;11267Application softwareSoftware engineeringComputersComputers, Special purposeComputer systemsComputer scienceComputer and Information Systems ApplicationsSoftware EngineeringComputer HardwareSpecial Purpose and Application-Based SystemsComputer System ImplementationComputer Science Logic and Foundations of ProgrammingApplication software.Software engineering.Computers.Computers, Special purpose.Computer systems.Computer science.Computer and Information Systems Applications.Software Engineering.Computer Hardware.Special Purpose and Application-Based Systems.Computer System Implementation.Computer Science Logic and Foundations of Programming.001.53629.8Chamberlain Rogeredthttp://id.loc.gov/vocabulary/relators/edtTaha Walidedthttp://id.loc.gov/vocabulary/relators/edtTörngren Martinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337853003321Cyber Physical Systems. Design, Modeling, and Evaluation2526818UNINA