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]
@inproceedings{QiLGWZ09,
title = {A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services},
author = {Zhengwei Qi and Alei Liang and Haibing Guan and Ming Wu and Zheng Zhang},
year = {2009},
doi = {10.1109/NCM.2009.191},
url = {http://doi.ieeecomputersociety.org/10.1109/NCM.2009.191},
tags = {model checking, meta-model, web service, C++, web services, Meta-Environment},
researchr = {https://researchr.org/publication/QiLGWZ09},
cites = {0},
citedby = {0},
pages = {745-750},
booktitle = {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},
editor = {Jinhwa Kim and Dursun Delen and Jinsoo Park and Franz Ko and Chen Rui and Jong Hyung Lee and Wang Jian and Gang Kou},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3769-6},
}