Proceedings/Recueil Des Communications
Année : 2021
Moubarak Zouré : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03546022
Soumis le : jeudi 27 janvier 2022-16:33:41
Dernière modification le : vendredi 24 mars 2023-14:53:25
Citer
Moubarak Zouré, Toufik Ahmed, Laurent Réveillère. VeriNeS: runtime verification of outsourced network services orchestration. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event Republic of Korea, France. ACM, pp.1138-1146, 2021, ⟨10.1145/3412841.3441988⟩. ⟨hal-03546022⟩
Collections
8
Consultations
0
Téléchargements