LEADER 03478nam  22007575  450 
001 9910337853003321
005 20250630103226.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,$x2946-1642 ;$v11267
300   $aIncludes index.
311 08$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,$x2946-1642 ;$v11267
606   $aApplication software
606   $aSoftware engineering
606   $aComputers
606   $aComputers, Special purpose
606   $aComputer systems
606   $aComputer science
606   $aComputer and Information Systems Applications
606   $aSoftware Engineering
606   $aComputer Hardware
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aComputer Science Logic and Foundations of Programming
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aComputer science.
615 14$aComputer and Information Systems Applications.
615 24$aSoftware Engineering.
615 24$aComputer Hardware.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aComputer Science Logic and Foundations of Programming.
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