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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.