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