基于语义扩展类型论的云服务替换性判定研究
王先清,黄昌勤,罗旋,聂瑞华,汤庸,梅晓勇
Determining substitutability of cloud services supported by semantically extended type theory
Xian-qing WANG,Chang-qin HUANG,UOXuan LUO,Rui-hua NIE,Yong TANG,Xiao-yong MEI
通信学报
.
2016, (2): 20
-31
.
DOI: 10.11959/j.issn.1000-436x.2016026
|
|
|
