An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems

Xiao Chen 0003, Jie Ding, Zhenyu Lu, Tianming Zhan. An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems. IEEE Trans. Network Science and Engineering, 8(1):447-462, 2021. [doi]