VeriNeS: runtime verification of outsourced network services orchestration - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2021

VeriNeS: runtime verification of outsourced network services orchestration

Toufik Ahmed
  • Fonction : Auteur
Laurent Réveillère
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-03546022 , version 1 (27-01-2022)

Identifiants

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

CNRS
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More