MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems

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]

Abstract

Abstract is missing.