Kaustabha Ray, 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, 18(3):3400-3414, 2021. [doi]
@article{RayB21, title = {Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking}, author = {Kaustabha Ray and Ansuman Banerjee}, year = {2021}, doi = {10.1109/TNSM.2021.3086146}, url = {https://doi.org/10.1109/TNSM.2021.3086146}, researchr = {https://researchr.org/publication/RayB21}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Network and Service Management}, volume = {18}, number = {3}, pages = {3400-3414}, }