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

収録刊行物

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1010282257119084562
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ