Moubarak ZOURE


Doctorant en informatique

Publications


clear
Download BibTeX

VeriNeS: Runtime Verification of Outsourced Network Services Orchestration


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