A component framework for the runtime enforcement of safety properties.

Silvia Bonfanti Elvinia Riccobene Patrizia Scandurra

Published in: J. Syst. Softw. (2023)

Keyphrases

main contribution
lightweight
key properties
theoretical framework
case study
database
databases
machine learning
artificial intelligence
multimedia
high level