Conformance Verification between Web Service Choreography and Imple mentation Using Learning and Model Checking
Conformance Verification between Web Service Choreography and Imple mentation Using Learning and Model Checking
复制标题
使用学习和模型检查来验证 Web 服务编排和实现之间的一致性
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Pattarasinee Bhattarakosol
中科院分区：
文献类型：
--
作者：
Warawoot Pacharoen;Toshiaki Aoki;Athasit Surarerks;Pattarasinee Bhattarakosol
