Computer Safety, Reliability, and Security. Safecomp 2020 Workshops: Decsos 2020, Depdevops 2020, Usdai 2020, and Waise 2020, Lisbon, Portugal, Septem
暫譯: 計算機安全、可靠性與安全性。Safecomp 2020 研討會：Decsos 2020、Depdevops 2020、Usdai 2020 及 Waise 2020，葡萄牙里斯本，九月
Casimiro, António, Ortmeier, Frank, Schoitsch, Erwin
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為2020年9月在葡萄牙里斯本舉行的第39屆國際計算機安全、可靠性與安全性會議（SAFECOMP 2020）相關工作坊的會議紀錄。本卷收錄的26篇常規論文經過仔細審查和選擇，來自45篇投稿；本書還包含一篇邀請論文。本卷中包含的工作坊有：
DECSoS 2020：第15屆可靠智能嵌入式系統與網絡物理系統及系統之系統工作坊。
DepDevOps 2020：首屆可靠開發-運營連續體方法於可靠網絡物理系統的國際工作坊。
USDAI 2020：首屆安全分散式人工智慧基礎的國際工作坊。
WAISE 2020：第三屆人工智慧安全工程國際工作坊。
由於COVID-19疫情，這些工作坊以虛擬形式舉行。
