000 04067nam a22006855i 4500
001 978-3-030-55583-2
003 DE-He213
005 20240423125037.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.
650 0 _aComputer networks .
650 0 _aArtificial intelligence.
650 0 _aApplication software.
650 0 _aCryptography.
650 0 _aData encryption (Computer science).
650 0 _aExpert systems (Computer science).
650 1 4 _aComputer Engineering and Networks.
650 2 4 _aArtificial Intelligence.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aCryptology.
650 2 4 _aKnowledge Based Systems.
700 1 _aCasimiro, António.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aOrtmeier, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchoitsch, Erwin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBitsch, Friedemann.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aFerreira, Pedro.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
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 _cSPRINGER
999 _c173597
_d173597