A component framework for the runtime enforcement of safety properties

Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra. A component framework for the runtime enforcement of safety properties. Journal of Systems and Software, 198:111605, April 2023. [doi]

Abstract

Abstract is missing.