Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adja Ndeye Sylla
A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors
Formal Verification of Orchestration Templates for Reliable Deployment With OpenStack Heat*
Combining Transactional and Behavioural Reliability in Adaptive Middleware
