Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
Runtime enforcement for component-based systems
SAC, 2015.
@inproceedings{SAC-2015-CharafeddineEFJ, author = "Hadil Charafeddine and Khalil El-Harake and Yliès Falcone and Mohamad Jaber", booktitle = "{Proceedings of the 30th Annual ACM Symposium on Applied Computing}", doi = "10.1145/2695664.2695879", isbn = "978-1-4503-3196-8", pages = "1789--1796", publisher = "{ACM}", title = "{Runtime enforcement for component-based systems}", year = 2015, }