✦ LIBER ✦

Abstract model checking for Web services

✍ Scribed by Junyan Qian; Guoyong Cai; Tianlong Gu; Lingzhong Zhao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking web services business act

✍ Abinoam P. Marques Jr.,Anders P. Ravn… 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 828 KB

Model checking web services choreography

✍ Dong Xu; Zhou Lei; Wei-min Li; Bo-feng Zhang 📂 Article 📅 2010 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 148 KB

Detecting feature interactions in Web se

✍ Jian-yin ZHANG; Fang-chun YANG; Sen SU 📂 Article 📅 2007 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 486 KB

Generating test case specifications of w

✍ Ling-li Qian; Yi-hai Chen 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 208 KB

Model checking-based testing of Web appl

✍ Hongwei Zeng; Huaikou Miao 📂 Article 📅 2007 🏛 Wuhan University 🌐 English ⚖ 341 KB

Model-driven trust negotiation for Web s

✍ Skogsrud, H.; Benatallah, B.; Casati, F. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 448 KB