Samir Ouchani, Khaled Khebbeb, Meriem Hafsi. Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. In 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020. pages 1-6, IEEE, 2020. [doi]
Abstract is missing.