|
[RB22a]
Kaustabha Ray and Ansuman Banerjee.
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Transactions on Dependable and Secure Computing.
2022.
[Uses PRISM-games combined with heuristics to generate fault-recovery strategies for Multi-Access Edge Computing.]
|
|
Links:
[Google]
[Google Scholar]
|