Moubarak ZOURE


Doctorant en informatique

Toufik AHMED


Directeur de thèse



Publications


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