Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber-Physical Systems