✦ LIBER ✦

Combining Component Specifications in Object-Z and CSP

✍ Scribed by John Derrick; Eerke Boiten

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

Specification, Refinement and Verificati

✍ Graeme Smith; John Derrick 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 183 KB

From Object-Z specifications to ClassBen

✍ David Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul Strooper 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB

Seven at one stroke: LTL model checking

✍ Daniel Plagge; Michael Leuschel 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 405 KB

Specification and (property) inheritance

✍ Ernst-Rüdiger Olderog; Heike Wehrheim 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 319 KB

Refinement in Z and Object-Z Volume 458

✍ Derrick, John; Boiten, Eerke 📂 Article 📅 2001 🏛 Springer London ⚖ 459 KB