✦ LIBER ✦

Special issue on Automated Specification and Verification of Web Systems

✍ Scribed by Kovács, Laura; Pugliese, Rosario; Silva, Josep; Tiezzi, Francesco

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special issue on Automated Specification

✍ Laura Kovács; Temur Kutsia 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Special issue on Automated Verification

✍ Jones, Cliff; Romanovsky, Alexander 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 125 KB

Special issue on Automated Verification

✍ Lüttgen, Gerald; Merz, Stephan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Special issue on verification and valida

✍ Daniel O'Leary 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 30 KB 👁 2 views

Special issue on “Petri Nets for system

✍ MengChu Zhou; ZhiWu Li 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB

Special issue of Decision Support System

✍ Hemant K. Bhargava; Daniel J. Power; Daewon Sun 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 74 KB