03927nam 22006975 450 99641821090331620231013132901.03-030-41131-110.1007/978-3-030-41131-2(CKB)4100000010480263(DE-He213)978-3-030-41131-2(MiAaPQ)EBC6113520(PPN)242979157(EXLCZ)99410000001048026320200217d2020 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierCyber Physical Systems. Model-Based Design[electronic resource] 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XII, 285 p. 170 illus., 57 illus. in color.)Information Systems and Applications, incl. Internet/Web, and HCI ;119713-030-41130-3 Includes bibliographical references and index.Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education.This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.Information Systems and Applications, incl. Internet/Web, and HCI ;11971Application softwareSpecial purpose computersArchitecture, ComputerMicroprogramming Programming languages (Electronic computers)Information 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/I13057Control Structures and Microprogramminghttps://scigraph.springernature.com/ontologies/product-market-codes/I12018Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Application software.Special purpose computers.Architecture, Computer.Microprogramming .Programming languages (Electronic computers).Information Systems Applications (incl. Internet).Special Purpose and Application-Based Systems.Computer System Implementation.Control Structures and Microprogramming.Programming Languages, Compilers, Interpreters.629.895Chamberlain Rogeredthttp://id.loc.gov/vocabulary/relators/edtGrimheden Martin Edinedthttp://id.loc.gov/vocabulary/relators/edtTaha Walidedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996418210903316Cyber Physical Systems. Model-Based Design1933750UNISA