✦ LIBER ✦

A Model for Checking Contractual Compliance of Business Interactions

✍ Scribed by Molina-Jimenez, C.; Shrivastava, S.; Strano, M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A static compliance-checking framework f

✍ Liu, Y.; Muller, S.; Xu, K. 📂 Article 📅 2007 🏛 IBM 🌐 English ⚖ 556 KB

Model checking for design and assurance

✍ Bonnie Brinton Anderson; James V. Hansen; Paul Benjamin Lowry; Scott L. Summers 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Exploiting UML based validation for comp

✍ Vaibhav Jain, Anshul Kumar, Preeti Panda 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 876 KB

[Lecture Notes in Business Information P

✍ Abramowicz, Witold 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 269 KB

A generalized semantics of PROMELA for a

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 273 KB

Model checking for a general linear mode

✍ Zhi-hua Sun; Wai-Cheung Ip; Heung Wong 📂 Article 📅 2011 🏛 Institute of Applied Mathematics, Chinese Academy 🌐 English ⚖ 275 KB