A Proactive Formal Approach For Microservice-based Applications Auto-Scaling.

Souheir Merkouche Chafia Bouanaka

Published in: RIF (2022)

Keyphrases

formal analysis
data sets
data mining
data structure
search algorithm
information technology
context aware
formal model
formal specification
formal methods