Moubarak ZOURE


Doctorant en informatique

VeriNeS: Runtime Verification of Outsourced Network Services Orchestration


Conference paper


Moubarak ZOURE, Toufik AHMED, Laurent REVEILLERE
SAC '21, Proceedings of the 36th Annual ACM Symposium on Applied Computing, Association for Computing Machinery, New York, NY, USA, 2021, pp. 1138–1146


Cite

APA
ZOURE, M., AHMED, T., & REVEILLERE, L. (2021). VeriNeS: Runtime Verification of Outsourced Network Services Orchestration. In Proceedings of the 36th Annual ACM Symposium on Applied Computing (pp. 1138–1146). New York, NY, USA: Association for Computing Machinery.

Chicago/Turabian
ZOURE, Moubarak, Toufik AHMED, and Laurent REVEILLERE. “VeriNeS: Runtime Verification of Outsourced Network Services Orchestration.” In Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1138–1146. SAC '21. New York, NY, USA: Association for Computing Machinery, 2021.

MLA
ZOURE, Moubarak, et al. “VeriNeS: Runtime Verification of Outsourced Network Services Orchestration.” Proceedings of the 36th Annual ACM Symposium on Applied Computing, Association for Computing Machinery, 2021, pp. 1138–46.