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]
@article{BonfantiRS23,
title = {A component framework for the runtime enforcement of safety properties},
author = {Silvia Bonfanti and Elvinia Riccobene and Patrizia Scandurra},
year = {2023},
month = {April},
doi = {10.1016/j.jss.2022.111605},
url = {https://doi.org/10.1016/j.jss.2022.111605},
researchr = {https://researchr.org/publication/BonfantiRS23},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {198},
pages = {111605},
}