Articles by Yao Xifan (2)

Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus

Li Yongxiang, Yao Xifan, Xu Xiangmin and Jin Hong

Information Technology Journal 13 ( 11 ): 1779 - 1785 , 2014

A Unified Multi-coarse Manufacturing Resource Model and Its Semantization Based on Extended OWL-S

Tan Wei, Yao Xifan and Liu Xuan

Information Technology Journal 13 ( 11 ): 1831 - 1836 , 2014

Do you have a suggestion for journals

Suggest Journal