Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch (Herausgeber)

Buch | Softcover

XIII, 352 Seiten

2022 | 1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-14861-3 (ISBN)

Artikel merken

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.

· 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)

· 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)

· 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)

· 1st International Workshop on Security and Safety Interaction (SENSEI 2022)

· 3rd International Workshop on Underpinningsfor Safe Distributed Artificial Intelligence (USDAI 2022)

· 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems.- Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System.- Next Generation of System Assurance Approaches for Critical Systems.- Security and Safety Interaction.- Underpinnings for Safe Distributed Artificial Intelligence.- Artificial Intelligence Safety Engineering.

Erscheinungsdatum	08.09.2022
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIII, 352 p. 87 illus., 64 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	563 g
Themenwelt	Informatik ► Grafik / Design ► Digitale Bildverarbeitung
	Mathematik / Informatik ► Informatik ► Netzwerke
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Applications • Artificial Intelligence • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer Security • Computer systems • conference proceedings • cryptography • Data Security • Engineering • Informatics • Internet • machine learning • Mathematics • Mobile Robots • Network Protocols • Research • Signal Processing • Software Design • Software engineering • Software Quality • Verification and Validation
ISBN-10	3-031-14861-4 / 3031148614
ISBN-13	978-3-031-14861-3 / 9783031148613
Zustand	Neuware