LEADER 04355nam  22007455  450 
001 996202530603316
005 20201107085034.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$b[electronic resource] $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 ;$v8696
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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 ;$v8696
606   $aComputer logic
606   $aComputer organization
606   $aSoftware engineering
606   $aComputer security
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
615  0$aComputer logic.
615  0$aComputer organization.
615  0$aSoftware engineering.
615  0$aComputer security.
615 14$aLogics and Meanings of Programs.
615 24$aComputer Systems Organization and Communication Networks.
615 24$aSoftware Engineering.
615 24$aSystems and Data 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   $a996202530603316
996   $aComputer Safety, Reliability, and Security$92175020
997   $aUNISA