Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Meryem Ouzzif
A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors
Formal Verification of Orchestration Templates for Reliable Deployment With OpenStack Heat*