000 04234nam a22006375i 4500
001 978-3-319-99229-7
003 DE-He213
005 20240730165708.0
007 cr nn 008mamaa
008 180820s2018 sz | s |||| 0|eng d
020 _a9783319992297
_9978-3-319-99229-7
024 7 _a10.1007/978-3-319-99229-7
_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 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
_cedited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXV, 564 p. 190 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 ;
_v11094
505 0 _a6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
520 _aThis book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 - Assurance Cases for Software-Intensive Systems; DECSoS 2018 - ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 - Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 - Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 - Artificial Intelligence Safety Engineering. The chapter '"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open GovernmentLicense via link.springer.com.
650 0 _aComputer science.
_99832
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aArtificial intelligence.
_93407
650 0 _aComputers.
_98172
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer Engineering and Networks.
_990273
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Hardware.
_933420
700 1 _aGallina, Barbara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_990274
700 1 _aSkavhaug, Amund.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_990275
700 1 _aSchoitsch, Erwin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_990276
700 1 _aBitsch, Friedemann.
_eeditor.
_0(orcid)
_10000-0001-6152-4121
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_990277
710 2 _aSpringerLink (Online service)
_990278
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319992280
776 0 8 _iPrinted edition:
_z9783319992303
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11094
_990279
856 4 0 _uhttps://doi.org/10.1007/978-3-319-99229-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86486
_d86486