Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem. MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. IET Software, 15(4):260-276, 2021. [doi]
@article{KacemTK21,
title = {MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems},
author = {Mohamed Hadj Kacem and Imen Tounsi and Ahmed Hadj Kacem},
year = {2021},
doi = {10.1049/sfw2.12026},
url = {https://doi.org/10.1049/sfw2.12026},
researchr = {https://researchr.org/publication/KacemTK21},
cites = {0},
citedby = {0},
journal = {IET Software},
volume = {15},
number = {4},
pages = {260-276},
}