1. A review of microservices autoscaling with formal verification perspective. (9th August 2022) Authors: Jawaddi, Siti Nuraishah Agos; Johari, Muhammad Hamizan; Ismail, Azlan Journal: Software, practice & experience Issue: Volume 52:Number 11(2022) Page Start: 2476 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗