Limit search to available items
Book Cover
E-book
Author SAFECOMP (Conference) (39th : 2020 : Lisbon, Portugal)

Title Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira (eds.)
Published Cham, Switzerland : Springer, 2020

Copies

Description 1 online resource
Series Lecture notes in computer science ; 12235
LNCS sublibrary, SL 2, Programming and software engineering
Lecture notes in computer science ; 12235.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents 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
Summary This 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
Notes "Particular thanks goes to all partners who reorganized SAFECOMP 2020 and all workshops as an online event in hard times because of the COVID-19 crisis."--Preface
International conference proceedings
Includes author index
Subject Computer security -- Congresses
Computer organization -- Congresses
Software engineering -- Congresses
Programming languages (Electronic computers) -- Congresses
Computer logic -- Congresses
Application software -- Security measures -- Congresses
Artificial intelligence.
Information technology: general issues.
Coding theory & cryptology.
Expert systems -- knowledge-based systems.
Computer networking & communications.
Computers -- Intelligence (AI) & Semantics.
Computers -- Data Processing.
Computers -- Security -- General.
Computers -- Expert Systems.
Computers -- Networking -- General.
Computer logic
Computer organization
Computer security
Programming languages (Electronic computers)
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Casimiro, Antonio.
Ortmeier, Frank.
Schoitsch, Erwin.
Bitsch, Friedemann.
Ferreira, Pedro
DECSoS (Workshop) (15th : 2020 : Online) jointly held conference
DepDevOps (Workshop) (1st : 2020 : Online) jointly held conference
USDAI (Workshop) (1st : 2020 : Online) jointly held conference
WAISE (Workshop) (3rd : 2020 : Online) jointly held conference
ISBN 9783030555832
3030555836