000 | 03870nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-10557-4 | ||
003 | DE-He213 | ||
005 | 20240730172323.0 | ||
007 | cr nn 008mamaa | ||
008 | 140827s2014 sz | s |||| 0|eng d | ||
020 |
_a9783319105574 _9978-3-319-10557-4 |
||
024 | 7 |
_a10.1007/978-3-319-10557-4 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aComputer Safety, Reliability, and Security _h[electronic resource] : _bSAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / _cedited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier. |
250 | _a1st ed. 2014. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
300 |
_aXVIII, 456 p. 155 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8696 |
|
505 | 0 | _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). | |
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. | ||
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer engineering. _910164 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aData protection. _97245 |
|
650 | 1 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aComputer Engineering and Networks. _9102992 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aData and Information Security. _931990 |
700 | 1 |
_aBondavalli, Andrea. _eeditor. _0(orcid) _10000-0001-7366-6530 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9102994 |
|
700 | 1 |
_aCeccarelli, Andrea. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9102995 |
|
700 | 1 |
_aOrtmeier, Frank. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9102996 |
|
710 | 2 |
_aSpringerLink (Online service) _9102998 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319105567 |
776 | 0 | 8 |
_iPrinted edition: _z9783319105581 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8696 _9102999 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-10557-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c88200 _d88200 |