000770983 000__ 04082cam\a2200649Mi\4500 000770983 001__ 770983 000770983 005__ 20230306142428.0 000770983 006__ m\\\\\o\\d\\\\\\\\ 000770983 007__ cr\un\nnnunnun 000770983 008__ 140902s2014\\\\sz\a\\\\o\\\\\101\0\eng\d 000770983 0167_ $$a016918359$$2Uk 000770983 020__ $$a9783319105574$$q(electronic book) 000770983 020__ $$a3319105574$$q(electronic book) 000770983 020__ $$z9783319105567 000770983 020__ $$z3319105566 000770983 0247_ $$a10.1007/978-3-319-10557-4$$2doi 000770983 035__ $$aSP(OCoLC)ocn889751696 000770983 035__ $$aSP(OCoLC)889751696 000770983 040__ $$aNLGGC$$beng$$erda$$epn$$cNLGGC$$dOCLCO$$dGW5XE$$dYDXCP$$dUPM$$dCOO$$dUKMGB$$dVT2$$dOCLCF$$dOCLCO$$dOCL$$dOCLCO$$dOCLCQ$$dUAB 000770983 049__ $$aISEA 000770983 050_4 $$aQA76.9.A25 000770983 08204 $$a005.8$$223 000770983 1112_ $$aSAFECOMP (Conference)$$n(33rd :$$d2014 :$$cFlorence, Italy) 000770983 24510 $$aComputer safety, reliability, and security :$$bSAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9, 2014 : proceedings /$$cAndrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (Eds.). 000770983 2463_ $$aSAFECOMP 2014 000770983 264_1 $$aCham :$$bSpringer,$$c[2014] 000770983 264_4 $$c©2014 000770983 300__ $$a1 online resource (xvii, 456 pages) :$$billustrations. 000770983 336__ $$atext$$btxt$$2rdacontent 000770983 337__ $$acomputer$$bc$$2rdamedia 000770983 338__ $$aonline resource$$bcr$$2rdacarrier 000770983 4901_ $$aLecture notes in computer science ;$$v8696 000770983 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering 000770983 500__ $$aInternational conference proceedings. 000770983 500__ $$aIncludes author index. 000770983 5050_ $$aArchitecting Safety in Collaborative Mobile Systems (ASCoMS'14) -- ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) -- DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS'14) -- Integration of Safety and Security Engineering (ISSE'14) -- Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI'14) -- Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR'14). 000770983 506__ $$aAccess limited to authorized users. 000770983 520__ $$aThis book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14. 000770983 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed Sep. 5, 2014). 000770983 650_0 $$aComputer security$$vCongresses. 000770983 650_0 $$aComputer systems$$xReliability$$vCongresses. 000770983 7001_ $$aBondavalli, Andrea,$$eeditor. 000770983 7001_ $$aCeccarelli, Andrea,$$eeditor. 000770983 7001_ $$aOrtmeier, Frank,$$eeditor. 000770983 7112_ $$aASCoMS (Workshop)$$n(3rd :$$d2014 :$$cFlorence, Italy) 000770983 7112_ $$aDECSoS (Workshop)$$d(2014 :$$cFlorence, Italy) 000770983 7112_ $$aDEVVARTS (Workshop)$$d(2014 :$$cFlorence, Italy) 000770983 7112_ $$aISSE (Workshop)$$n(1st :$$d2014 :$$cFlorence, Italy) 000770983 7112_ $$aReSA4CI (Workshop)$$d(2014 :$$cFlorence, Italy) 000770983 7112_ $$aSASSUR (Workshop)$$d(2014 :$$cFlorence, Italy) 000770983 77608 $$iPrint verson:$$z9783319105567 000770983 830_0 $$aLecture notes in computer science ;$$v8696. 000770983 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering. 000770983 852__ $$bebk 000770983 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10557-4$$zOnline Access$$91397441.1 000770983 909CO $$ooai:library.usi.edu:770983$$pGLOBAL_SET 000770983 980__ $$aEBOOK 000770983 980__ $$aBIB 000770983 982__ $$aEbook 000770983 983__ $$aOnline 000770983 994__ $$a92$$bISE