# Moubarak ZOURE

Doctorant en informatique

Close

# 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

### 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.

Share