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]

Authors

Sebti Mouelhi

This author has not been identified. Look up 'Sebti Mouelhi' in Google

Mohamed-Emine Laarouchi

This author has not been identified. Look up 'Mohamed-Emine Laarouchi' in Google

Daniela Cancila

This author has not been identified. Look up 'Daniela Cancila' in Google

Hakima Chaouchi

This author has not been identified. Look up 'Hakima Chaouchi' in Google