Formal modelling and verifying elasticity strategies in cloud systems.

Khaled Khebbeb Nabil Hameurlain Faiza Belala Hamza Sahli

Published in: IET Softw. (2019)

Keyphrases

management system
intelligent systems
genetic algorithm
case study
computer systems
formal methods
neural network
information retrieval
knowledge representation
cloud computing
service providers
learning systems
formal specification