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]
@inproceedings{OuchaniKH20, title = {Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach}, author = {Samir Ouchani and Khaled Khebbeb and Meriem Hafsi}, year = {2020}, doi = {10.1109/AICCSA50499.2020.9316535}, url = {https://doi.org/10.1109/AICCSA50499.2020.9316535}, researchr = {https://researchr.org/publication/OuchaniKH20}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020}, publisher = {IEEE}, isbn = {978-1-7281-8577-4}, }