Resilience of Cyber-Physical Systems: From Risk Modelling to Threat Counteraction

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Recent Trends in Computational Sciences: Proceedings of the Fourth Annual International Conference on Data Science, Machine Learning and Blockchain Technology (AICDMB 2023), Mysuru, India, 16-17 March 2023

Computer Safety, Reliability, and Security: 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Assessing COVID-19 and Other Pandemics and Epidemics using Computational Modelling and Data Analysis

Dependable Computing – EDCC 2022 Workshops: SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings