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,
}











