Fully automated runtime enforcement of component-based systems with formal and sound recovery

Yliès Falcone, Mohamad Jaber. Fully automated runtime enforcement of component-based systems with formal and sound recovery. STTT, 19(3):341-365, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: