000868177 000__ 04614cam\a2200601Ii\4500
000868177 001__ 868177
000868177 005__ 20230306145942.0
000868177 006__ m\\\\\o\\d\\\\\\\\
000868177 007__ cr\cn\nnnunnun
000868177 008__ 190422s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000868177 020__ $$a9783030179106$$q(electronic book)
000868177 020__ $$a3030179109$$q(electronic book)
000868177 020__ $$z9783030179090
000868177 0247_ $$a10.1007/978-3-030-17910-6$$2doi
000868177 035__ $$aSP(OCoLC)on1098041033
000868177 035__ $$aSP(OCoLC)1098041033
000868177 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dDKU$$dOCLCF
000868177 049__ $$aISEA
000868177 050_4 $$aTJ213
000868177 08204 $$a629.8$$223
000868177 1112_ $$aCyPhy (Workshop)$$n(7th :$$d2017 :$$cSeoul, Korea)
000868177 24510 $$aCyber physical systems :$$bdesign, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers /$$cRoger Chamberlain, Walid Taha, Martin Törngren (eds.).
000868177 2463_ $$aCyPhy 2017
000868177 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000868177 300__ $$a1 online resource (x, 159 pages) :$$billustrations.
000868177 336__ $$atext$$btxt$$2rdacontent
000868177 337__ $$acomputer$$bc$$2rdamedia
000868177 338__ $$aonline resource$$bcr$$2rdacarrier
000868177 4901_ $$aLecture notes in computer science ;$$v11267
000868177 4901_ $$aLNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI
000868177 500__ $$aIncludes author index.
000868177 50500 $$g[I].$$tKeynote:$$g1.$$tNonstandard static analysis : literal transfer of deductive verification frameworks from discrete to hybrid /$$rIchiro Hasuo.
000868177 50580 $$g[II].$$tDesign:$$g2.$$tLocal descent for temporal logic falsification of cyber-physical systems /$$rShakiba Yaghoubi, Georgios Fainekos --$$g3.$$tMemory access pattern-aware DRAM controller design for mixed-criticality systems /$$rJeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee --$$g4.$$tIncreasing safety by combining multiple declarative rules in robotic perception systems /$$rJohann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz.
000868177 50580 $$g[III].$$tSimulation:$$g5.$$tTemple based Monte-Carlo test generation for Simulink models /$$rTakashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuci, Toshiaki Aoki --$$g6.$$tReliable simulation and monitoring of hybrid systems based on interval analysis (extended abstract) /$$rDaisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki --$$g7.$$tAn integrated simulation tool for computer architecture and cyber-physical systems /$$rHokeun Kim, Armin Wasicek, Edward A. Lee --$$g8.$$tSafe at any speed : a simulation-based test harness for autonomous vehicles /$$rHoussam Abbas, Matthew O'Kelly, Alena Rodionova, Rahul Mangharam.
000868177 50580 $$g[IV].$$tFormal methods:$$g9.$$tSwitching delays and the Skorokhod distance in incrementally stable switched systems /$$rKengo Kido, Sean Sedwards, Ichiro Hasuo --$$g10.$$tFormal analysis of robotic cell injection systems using theorem proving /$$rAdnan Rashid, Osman Hasan.
000868177 50580 $$g[V].$$tWorkshop on embedded and cyber-physical systems education:$$g11.$$tFPGA based big data accelerator design in teaching computer architecture and organization /$$rChao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li, Xuehai Zhou.
000868177 506__ $$aAccess limited to authorized users.
000868177 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. --$$cProvided by publisher.
000868177 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 22, 2019).
000868177 650_0 $$aCooperating objects (Computer systems)$$vCongresses.
000868177 650_0 $$aAutomatic control$$vCongresses.
000868177 650_0 $$aSensor networks$$vCongresses.
000868177 650_0 $$aComputer systems$$xVerification$$vCongresses.
000868177 650_0 $$aCybernetics$$vCongresses.
000868177 7001_ $$aChamberlain, Roger,$$eeditor.
000868177 7001_ $$aTaha, Walid,$$d1972-$$eeditor.
000868177 7001_ $$aTörngren, Martin,$$eeditor.
000868177 830_0 $$aLecture notes in computer science ;$$v11267.
000868177 830_0 $$aLNCS sublibrary.$$nSL 3,$$pInformation systems and applications, incl. Internet/Web, and HCI.
000868177 852__ $$bebk
000868177 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-17910-6$$zOnline Access$$91397441.1
000868177 909CO $$ooai:library.usi.edu:868177$$pGLOBAL_SET
000868177 980__ $$aEBOOK
000868177 980__ $$aBIB
000868177 982__ $$aEbook
000868177 983__ $$aOnline
000868177 994__ $$a92$$bISE