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