A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhengwei Qi, Alei Liang, Haibing Guan, Ming Wu, Zheng Zhang. A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services. In Jinhwa Kim, Dursun Delen, Jinsoo Park, Franz Ko, Chen Rui, Jong Hyung Lee, Wang Jian, Gang Kou, editors, International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advan. pages 745-750, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Zhengwei Qi' in GoogleThis author has not been identified. Look up 'Alei Liang' in GoogleThis author has not been identified. Look up 'Haibing Guan' in GoogleThis author has not been identified. Look up 'Ming Wu' in GoogleThis author has not been identified. Look up 'Zheng Zhang' in Google

runs on WebDSL