Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach.

Samir Ouchani, Khaled Khebbeb, Meriem Hafsi

Browse the full AICCSA paper archive.