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

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

Federated Learning Techniques And Its Application In The Healthcare Industry

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