LEADER 04529nam 22007335 450 001 9910416084803321 005 20210126131552.0 010 $a3-030-55583-6 024 7 $a10.1007/978-3-030-55583-2 035 $a(CKB)4100000011392454 035 $a(DE-He213)978-3-030-55583-2 035 $a(MiAaPQ)EBC6317279 035 $a(PPN)253256917 035 $a(EXLCZ)994100000011392454 100 $a20200805d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security. SAFECOMP 2020 Workshops $eDECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /$fedited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVI, 416 p. 46 illus.) 225 1 $aProgramming and Software Engineering ;$v12235 311 $a3-030-55582-8 320 $aIncludes bibliographical references and index. 327 $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. 330 $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. 410 0$aProgramming and Software Engineering ;$v12235 606 $aComputer organization 606 $aArtificial intelligence 606 $aApplication software 606 $aData encryption (Computer science) 606 $aKnowledge representation (Information theory)  606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aKnowledge based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I21030 615 0$aComputer organization. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aData encryption (Computer science). 615 0$aKnowledge representation (Information theory) . 615 14$aComputer Systems Organization and Communication Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Applications. 615 24$aCryptology. 615 24$aKnowledge based Systems. 676 $a005.8 676 $a005.8 702 $aCasimiro$b António$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchoitsch$b Erwin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFerreira$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910416084803321 996 $aComputer Safety, Reliability, and Security. SAFECOMP 2020 Workshops$92193432 997 $aUNINA