
International Journal of Grid and Utility Computing
2025 Vol.16 No.5/6
Special Issue on: Edge Computing based Formal Modelling, Verification and Testing
Guest Editors: Dr. Sachi Nandan Mohanty and Prof. Rocha Alvora

Special Issue on: Edge Computing based Formal Modelling, Verification and Testing
Guest Editors: Dr. Sachi Nandan Mohanty and Prof. Rocha Alvora