LEADER 03964nam  22007575  450 
001 9910337853003321
005 20200704065723.0
010   $a3-030-17910-9
024 7 $a10.1007/978-3-030-17910-6
035   $a(CKB)4100000007938080
035   $a(DE-He213)978-3-030-17910-6
035   $a(MiAaPQ)EBC5922090
035   $a(PPN)235668591
035   $a(EXLCZ)994100000007938080
100   $a20190412d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCyber Physical Systems. Design, Modeling, and Evaluation $e7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /$fedited by Roger Chamberlain, Walid Taha, Martin Törngren
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (X, 159 p. 70 illus., 31 illus. in color.) 
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v11267
300   $aIncludes index.
311   $a3-030-17909-5 
327   $aDesign -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
330   $aThis 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. .
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v11267
606   $aApplication software
606   $aSoftware engineering
606   $aComputer hardware
606   $aSpecial purpose computers
606   $aArchitecture, Computer
606   $aComputer logic
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X
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   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aComputer hardware.
615  0$aSpecial purpose computers.
615  0$aArchitecture, Computer.
615  0$aComputer logic.
615 14$aInformation Systems Applications (incl. Internet).
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Hardware.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aLogics and Meanings of Programs.
676   $a001.53
676   $a629.8
702   $aChamberlain$b Roger$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTaha$b Walid$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTörngren$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337853003321
996   $aCyber Physical Systems. Design, Modeling, and Evaluation$92526818
997   $aUNINA