External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

VeriNeS: runtime verification of outsourced network services orchestration

Moubarak Zoure, Toufik Ahmed, Laurent Réveillère. VeriNeS: runtime verification of outsourced network services orchestration. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 1138-1146, ACM, 2021. [doi]

Authors

Moubarak Zoure

This author has not been identified. Look up 'Moubarak Zoure' in Google

Toufik Ahmed

This author has not been identified. Look up 'Toufik Ahmed' in Google

Laurent Réveillère

This author has not been identified. Look up 'Laurent Réveillère' in Google
runs on