Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking

由 Agos Jawaddi, Siti Nuraishah; Ismail, Azlan; Sulaiman, Mohd Suffian; Cardellini, Valeria
发表在 JOURNAL OF GRID COMPUTING (2025)