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]

Authors

Silvia Bonfanti

This author has not been identified. Look up 'Silvia Bonfanti' in Google

Elvinia Riccobene

This author has not been identified. Look up 'Elvinia Riccobene' in Google

Patrizia Scandurra

This author has not been identified. Look up 'Patrizia Scandurra' in Google