Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi. Predictive Formal Analysis of Resilience in Cyber-Physical Systems. IEEE Access, 7:33741-33758, 2019. [doi]

Abstract

Abstract is missing.