000 03445nam a22006375i 4500
001 978-3-030-23703-5
003 DE-He213
005 20240730173718.0
007 cr nn 008mamaa
008 190701s2019 sz | s |||| 0|eng d
020 _a9783030237035
_9978-3-030-23703-5
024 7 _a10.1007/978-3-030-23703-5
_2doi
050 4 _aQA76.9.C65
072 7 _aUYM
_2bicssc
072 7 _aCOM072000
_2bisacsh
072 7 _aUYM
_2thema
082 0 4 _a003.3
_223
245 1 0 _aCyber Physical Systems. Model-Based Design
_h[electronic resource] :
_b8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, 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 _aXII, 231 p. 236 illus., 58 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 ;
_v11615
505 0 _aDesign -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
520 _aThis book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
650 0 _aComputer simulation.
_95106
650 0 _aApplication software.
_9109328
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer systems.
_9109329
650 0 _aComputers.
_98172
650 0 _aMicroprogramming .
_932081
650 1 4 _aComputer Modelling.
_9109330
650 2 4 _aComputer and Information Systems Applications.
_9109331
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aComputing Milieux.
_955441
650 2 4 _aControl Structures and Microprogramming.
_932083
700 1 _aChamberlain, Roger.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109332
700 1 _aTaha, Walid.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109333
700 1 _aTörngren, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109334
710 2 _aSpringerLink (Online service)
_9109335
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030237028
776 0 8 _iPrinted edition:
_z9783030237042
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v11615
_9109336
856 4 0 _uhttps://doi.org/10.1007/978-3-030-23703-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89050
_d89050