04027nam 22007575 450 991034931600332120200630031116.03-030-23703-610.1007/978-3-030-23703-5(CKB)4100000008527427(DE-He213)978-3-030-23703-5(MiAaPQ)EBC5924675(PPN)238488357(EXLCZ)99410000000852742720190701d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierCyber 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 /edited by Roger Chamberlain, Walid Taha, Martin Törngren1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XII, 231 p. 236 illus., 58 illus. in color.) Information Systems and Applications, incl. Internet/Web, and HCI ;11615Includes index.3-030-23702-8 Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.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.Information Systems and Applications, incl. Internet/Web, and HCI ;11615Computer simulationApplication softwareSpecial purpose computersArchitecture, ComputerComputersMicroprogramming Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Control Structures and Microprogramminghttps://scigraph.springernature.com/ontologies/product-market-codes/I12018Computer 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.001.53006.22Chamberlain Rogeredthttp://id.loc.gov/vocabulary/relators/edtTaha Walidedthttp://id.loc.gov/vocabulary/relators/edtTörngren Martinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349316003321Cyber Physical Systems. Model-Based Design1933750UNINA