A formal approach for the correct deployment of cloud applications.

Amel Mammar Meriem Belguidoum Saddam Hocine Hiba

Published in: Sci. Comput. Program. (2024)

Keyphrases

cloud computing
data analytics
data center
data sets
case study
formal model
formal language
artificial intelligence
image segmentation
three dimensional
similarity measure
multiresolution
formal specification
formal methods
formal representation
mathematical theory