Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking
-
- 青木 利晃
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking
- 著者
- Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol
収録刊行物
-
- Proc.of IEEE International Conference on Web Services (ICWS 2011)
-
Proc.of IEEE International Conference on Web Services (ICWS 2011) 722-723, 2011