000 04218nam a22006855i 4500
001 978-3-030-55583-2
003 DE-He213
005 20240730165634.0
007 cr nn 008mamaa
008 200805s2020 sz | s |||| 0|eng d
020 _a9783030555832
_9978-3-030-55583-2
024 7 _a10.1007/978-3-030-55583-2
_2doi
050 4 _aTK7885-7895
050 4 _aTK5105.5-5105.9
072 7 _aUK
_2bicssc
072 7 _aCOM067000
_2bisacsh
072 7 _aUK
_2thema
082 0 4 _a621.39
_223
082 0 4 _a004.6
_223
245 1 0 _aComputer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
_h[electronic resource] :
_bDECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /
_cedited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXVI, 416 p. 46 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 ;
_v12235
505 0 _aDECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering.
520 _aThis book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems. DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems. USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI. WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. The workshops were held virtually due to the COVID-19 pandemic.
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aArtificial intelligence.
_93407
650 0 _aApplication software.
_989951
650 0 _aCryptography.
_91973
650 0 _aData encryption (Computer science).
_99168
650 0 _aExpert systems (Computer science).
_93392
650 1 4 _aComputer Engineering and Networks.
_989952
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer and Information Systems Applications.
_989953
650 2 4 _aCryptology.
_931769
650 2 4 _aKnowledge Based Systems.
_979172
700 1 _aCasimiro, António.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989954
700 1 _aOrtmeier, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989955
700 1 _aSchoitsch, Erwin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989956
700 1 _aBitsch, Friedemann.
_eeditor.
_0(orcid)
_10000-0001-6152-4121
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989957
700 1 _aFerreira, Pedro.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989958
710 2 _aSpringerLink (Online service)
_989959
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030555825
776 0 8 _iPrinted edition:
_z9783030555849
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12235
_989960
856 4 0 _uhttps://doi.org/10.1007/978-3-030-55583-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86444
_d86444