A review of microservices autoscaling with formal verification perspective

by Jawaddi S.N.A.; Johari M.H.; Ismail A.
Published in Software - Practice and Experience (2022)