✦ LIBER ✦

Specification and verification of componentbased systems (SAVCBS) - {editorial}

✍ Scribed by Sharygina, N.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Formal Specification and Verification of

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Formal Specification and Verification of

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Special issue on Automated Specification

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

An integrated methodology for the specif

✍ Mike Holcombe 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

Formal Specification and Verification of

✍ Leonardo Michelon; Simone André da Costa; Leila Ribeiro 📂 Article 📅 2007 🏛 SciELO 🌐 English ⚖ 306 KB