An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems.

Xiao Chen Jie Ding Zhenyu Lu Tianming Zhan

Published in: IEEE Trans. Netw. Sci. Eng. (2021)

Keyphrases

modeling framework
cloud computing
data mining
search engine
pairwise
email
computer systems
model driven development