|
[RB21]
Kaustabha Ray and Ansuman Banerjee.
Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Transactions on Network and Service Management.
2021.
[Uses PRISM-games to model and verify service allocation policies for multi-access edge computing.]
|
|
Links:
[Google]
[Google Scholar]
|