LEADER 04123nam  22007695  450 
001 9910483100203321
005 20251226200320.0
010   $a3-319-10557-4
024 7 $a10.1007/978-3-319-10557-4
035   $a(CKB)3710000000227383
035   $a(SSID)ssj0001338658
035   $a(PQKBManifestationID)11813711
035   $a(PQKBTitleCode)TC0001338658
035   $a(PQKBWorkID)11344904
035   $a(PQKB)11161197
035   $a(DE-He213)978-3-319-10557-4
035   $a(MiAaPQ)EBC6307055
035   $a(MiAaPQ)EBC5586756
035   $a(Au-PeEL)EBL5586756
035   $a(OCoLC)889751696
035   $a(PPN)180626361
035   $a(EXLCZ)993710000000227383
100   $a20140827d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security $eSAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings /$fedited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XVIII, 456 p. 155 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8696
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-10556-6 
327   $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).
330   $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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8696
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware engineering
606   $aData protection
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Engineering and Networks
606   $aSoftware Engineering
606   $aData and Information Security
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aData protection.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Engineering and Networks.
615 24$aSoftware Engineering.
615 24$aData and Information Security.
676   $a005.8
702   $aBondavalli$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCeccarelli$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483100203321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA