✦ LIBER ✦

Model checking adaptive service compositions

✍ Scribed by Bugliesi, M.; Marin, A.; Rossi, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating test case specifications of w

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

Abstract model checking for Web services

✍ Junyan Qian; Guoyong Cai; Tianlong Gu; Lingzhong Zhao 📂 Article 📅 2008 🏛 Wuhan University 🌐 English ⚖ 319 KB

Service matchmaking revisited: An approa

✍ Akın Günay; Pınar Yolum 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 775 KB

Compositional encoding for bounded model

✍ Sun, Jun ;Liu, Yang ;Dong, Jin Song ;Sun, Jing 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 260 KB

Compositional Model Checking of Concurre

✍ Zheng, Hao; Zhang, Zhen; Myers, Chris J.; Rodriguez, Emmanuel; Zhang, Yingying 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 889 KB

Model-checking web services business act

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