LEADER 03924nam  22007095  450 
001 9910380759003321
005 20231013132901.0
010   $a3-030-41131-1
024 7 $a10.1007/978-3-030-41131-2
035   $a(CKB)4100000010480263
035   $a(DE-He213)978-3-030-41131-2
035   $a(MiAaPQ)EBC6113520
035   $a(PPN)242979157
035   $a(EXLCZ)994100000010480263
100   $a20200217d2020      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCyber Physical Systems. Model-Based Design $e9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /$fedited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XII, 285 p. 170 illus., 57 illus. in color.)
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v11971
311   $a3-030-41130-3 
320   $aIncludes bibliographical references and index.
327   $aModels and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education.
330   $aThis 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.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v11971
606   $aApplication software
606   $aSpecial purpose computers
606   $aArchitecture, Computer
606   $aMicroprogramming 
606   $aProgramming languages (Electronic computers)
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aApplication software.
615  0$aSpecial purpose computers.
615  0$aArchitecture, Computer.
615  0$aMicroprogramming .
615  0$aProgramming languages (Electronic computers).
615 14$aInformation Systems Applications (incl. Internet).
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aControl Structures and Microprogramming.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a629.895
676   $a004.6
702   $aChamberlain$b Roger$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGrimheden$b Martin Edin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTaha$b Walid$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910380759003321
996   $aCyber Physical Systems. Model-Based Design$91933750
997   $aUNINA