Runtime Equilibrium Verification for Resilient Cyber-Physical Systems

Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra. Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. In Esam El-Araby, Vana Kalogeraki, Danilo Pianini, Frédéric Lassabe, Barry Porter, Sona Ghahremani, Ingrid Nunes, Mohamed Bakhouya, Sven Tomforde, editors, IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Washington, DC, USA, September 27 - Oct. 1, 2021. pages 71-80, IEEE, 2021. [doi]

Authors

Matteo Camilli

This author has not been identified. Look up 'Matteo Camilli' in Google

Raffaela Mirandola

This author has not been identified. Look up 'Raffaela Mirandola' in Google

Patrizia Scandurra

This author has not been identified. Look up 'Patrizia Scandurra' in Google