Sign in
An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services.
Mohamed Oulaaffart
Remi Badonnel
Christophe Bianco
Published in:
NOMS (2022)
Keyphrases
</>
real time
higher education
database
databases
data model
cloud computing
fine grained