000929048 000__ 02592cam\a2200529Ia\4500 000929048 001__ 929048 000929048 005__ 20230306151331.0 000929048 006__ m\\\\\o\\d\\\\\\\\ 000929048 007__ cr\un\nnnunnun 000929048 008__ 200229s2020\\\\sz\\\\\\o\\\\\101\0\eng\d 000929048 020__ $$a9783030411312$$q(electronic book) 000929048 020__ $$a3030411311$$q(electronic book) 000929048 020__ $$z9783030411305 000929048 035__ $$aSP(OCoLC)on1142516518 000929048 035__ $$aSP(OCoLC)1142516518 000929048 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dGZM 000929048 049__ $$aISEA 000929048 050_4 $$aTK5105.8857 000929048 08204 $$a004.6$$223 000929048 1112_ $$aCyphy (Workshop)$$n(9th :$$d2019 :$$cNew York, N.Y.) 000929048 24510 $$aCyber Physical Systems :$$bmodel-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /$$cRoger Chamberlain, Martin Edin Grimheden, Walid Taha (eds.). 000929048 264_1 $$aCham :$$bSpringer,$$c2020. 000929048 300__ $$a1 online resource (289 pages). 000929048 336__ $$atext$$btxt$$2rdacontent 000929048 337__ $$acomputer$$bc$$2rdamedia 000929048 338__ $$aonline resource$$bcr$$2rdacarrier 000929048 4901_ $$aLecture Notes in Computer Science ;$$v11971 000929048 4901_ $$aLNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI 000929048 500__ $$aIncludes author index. 000929048 506__ $$aAccess limited to authorized users. 000929048 588__ $$aDescription based on print version record. 000929048 650_0 $$aCooperating objects (Computer systems)$$vCongresses. 000929048 650_0 $$aAutomatic control$$xComputer programs$$vCongresses. 000929048 650_0 $$aCybernetics$$vCongresses. 000929048 650_0 $$aSystems software$$vCongresses. 000929048 650_0 $$aComputer systems$$xVerification$$vCongresses. 000929048 7001_ $$aChamberlain, Roger. 000929048 7001_ $$aGrimheden, Martin Edin. 000929048 7001_ $$aTaha, Walid,$$d1972- 000929048 7112_ $$aWorkshop on Embedded and Cyber-Physical Systems Education$$n(15th :$$d2019 :$$cNew York, N.Y.),$$jjointly held conference. 000929048 77608 $$iPrint version:$$aChamberlain, Roger$$tCyber Physical Systems. Model-Based Design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers$$dCham : Springer International Publishing AG,c2020$$z9783030411305 000929048 830_0 $$aLecture notes in computer science ;$$v11971. 000929048 830_0 $$aLNCS sublibrary.$$nSL 3,$$pInformation systems and applications, incl. Internet/Web, and HCI. 000929048 852__ $$bebk 000929048 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-41131-2$$zOnline Access$$91397441.1 000929048 909CO $$ooai:library.usi.edu:929048$$pGLOBAL_SET 000929048 980__ $$aEBOOK 000929048 980__ $$aBIB 000929048 982__ $$aEbook 000929048 983__ $$aOnline 000929048 994__ $$a92$$bISE