Articles by Hong-Jiang Gao (3)

Formal Spsecification and Proof of Multi-Agent Applications Using Event B

Hong-Jiang Gao, Zheng Qin, Lei Lu, Li-Ping Shao and Xing-Chen Heng

Information Technology Journal 6 ( 8 ): 1181 - 1189 , 2007

2D Triangular Mappings and Their Applications in Scrambling Rectangle Image

Li-Ping Shao, Zheng Qin, Hong-Jiang Gao and Xing-Chen Heng

Information Technology Journal 7 ( 1 ): 40 - 47 , 2008

Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B

Hong-Jiang Gao, Hong Sun, Bang-Hai Xu, Ying He and Zheng Qin

Information Technology Journal 7 ( 6 ): 868 - 875 , 2008

Do you have a suggestion for journals

Suggest Journal