Technische Daten
Erscheinungsdatum
11.08.2023
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Lecture Notes in Computer Science
Buch Untertitel
42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Schlagwörter
fault detection and recovery mechanisms, distributed and real-time monitoring and control, safety/security risk assessment, model-based analysis, design, and assessment, formal methods for verification, validation, and fault tolerance, probabilistic verification and validation, in-the-loop and model-based testing, architecture-driven assurance of safety and security, methods for qualification, assurance and certification, cyber physical threats and vulnerability analysis, dependability analysis, security and privacy protection mechanisms
Thema-Inhalt
UK - Computerhardware
UMZ - Software Engineering
UX - Angewandte Informatik
TJFM1 - Robotik
UYQ - Künstliche Intelligenz
UR - Computersicherheit
UTN - Netzwerksicherheit
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
Warnhinweise und Sicherheitsinformationen
Informationen nach EU Data Act