[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking

Bibliographic Information

Title
Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking
Author
Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol

Journal

Related Projects

See more

Details

  • CRID
    1010282257119084562
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top