✦ LIBER ✦

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

✍ Scribed by Graeme Smith; John Derrick

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural Refinement of Systems Specifi

✍ John Derrick; Graeme Smith 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 241 KB

An integrated methodology for the specif

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

An integrative model of expert system ve

✍ Robert M. O'Keefe; Sunro Lee 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 598 KB

Interaction, specification refinement, a

✍ A.L Tits; Z Ma 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 644 KB

Specification and validation of a concur

✍ Gérard Berthelot; Laure Petrucci 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 215 KB

Verification and refinement of the one-d

✍ Seyun Kim; Jae-Hyuk Eoh; Bo Young Choi; Seong-O Kim 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 748 KB