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
- Tweet
詳細情報
-
- CRID
- 1010282257119084562
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN