A formal quantitative analysis of elastic cloud systems based on PSMaude.
Chafia BouanakaEsma MaatouguiFaiza BelalaNadia ZeghibPublished in: J. King Saud Univ. Comput. Inf. Sci. (2020)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative and quantitative analysis
- qualitative evaluation
- real time
- machine learning
- expert systems
- management system
- distributed systems
- knowledge based systems
- retrieval systems
- formal methods
- learning systems
- computing systems
- formal model
- building blocks
- case study
- data sets