Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Produktinformationen "Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- Second International Workshop on Security and Safety Interactions (SENSEI 2023)- First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023)- 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)
ISBN: 9783031409523
Verlag: Springer International Publishing
Auflage: 1
Sprache: Englisch
Seitenzahl: 438
Produktart: Kartoniert / Broschiert
Herausgeber: Bitsch, Friedemann Guiochet, Jérémie Roy, Matthieu Schoitsch, Erwin Tonetta, Stefano
Erscheinungsdatum: 14.09.2023
Verlag: Springer International Publishing
Untertitel: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Schlagworte: IoT certification and regulations empiricism formal methods machine learning multi-core platforms road safety safety tools virtual testing