Certifications of Critical Systems - The CECRIS Experience

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Dependable Computing: Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings

Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops: DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings