HuaiKou Miao

Modeling Web Browser Interactions Using FSM

Tao He, Zhongsheng Qian, HuaiKou Miao, 2007 .

A Rewriting Logic Approach to OWL-S Composite Process Formal Specification

HuaiKou Miao, JunFeng Wu, 2008, 2008 IEEE Asia-Pacific Services Computing Conference.

Formal Specification for Secure Electronic Data Interchange System in Maude

HuaiKou Miao, JunFeng Wu, 2007, 2007 IEEE International Conference on Automation and Logistics.