000 03318nam a22006375i 4500
001 978-3-030-17910-6
003 DE-He213
005 20240730165455.0
007 cr nn 008mamaa
008 190412s2019 sz | s |||| 0|eng d
020 _a9783030179106
_9978-3-030-17910-6
024 7 _a10.1007/978-3-030-17910-6
_2doi
050 4 _aQA76.76.A65
072 7 _aUB
_2bicssc
072 7 _aCOM005000
_2bisacsh
072 7 _aUX
_2thema
082 0 4 _a005.3
_223
245 1 0 _aCyber Physical Systems. Design, Modeling, and Evaluation
_h[electronic resource] :
_b7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
_cedited by Roger Chamberlain, Walid Taha, Martin Törngren.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aX, 159 p. 70 illus., 31 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v11267
505 0 _aDesign -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
520 _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. .
650 0 _aApplication software.
_989076
650 0 _aSoftware engineering.
_94138
650 0 _aComputers.
_98172
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer systems.
_989077
650 0 _aComputer science.
_99832
650 1 4 _aComputer and Information Systems Applications.
_989078
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Hardware.
_933420
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aChamberlain, Roger.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989079
700 1 _aTaha, Walid.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989080
700 1 _aTörngren, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989081
710 2 _aSpringerLink (Online service)
_989082
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030179090
776 0 8 _iPrinted edition:
_z9783030179113
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v11267
_989083
856 4 0 _uhttps://doi.org/10.1007/978-3-030-17910-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86333
_d86333