✦ LIBER ✦

Refinement in Z and Object-Z Volume 458 || Conclusions

✍ Scribed by Derrick, John; Boiten, Eerke

Book ID: 115460120
Publisher: Springer London
Year: 2001
Weight: 459 KB
Category: Article
ISBN: 1447102576
DOI: 10.1007/978-1-4471-0257-1_20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural Refinement of Systems Specifi

Structural Refinement of Systems Specified in Object-Z and CSP

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

Specification, Refinement and Verificati

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

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

Specifying and Refining Internal Operati

Specifying and Refining Internal Operations in Z

✍ John Derrick; Eerke Boiten; Howard Bowman; Maarten Steen 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 205 KB

Combining Component Specifications in Ob

Combining Component Specifications in Object-Z and CSP

✍ John Derrick; Eerke Boiten 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 149 KB

Object Language and Meta-Language in the

Object Language and Meta-Language in the Gongsun-long-z0069

✍ ERNSTJOACHIM VIERHELLER 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 700 KB

[Lecture Notes in Computer Science] ZB 2

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_B

✍ Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 829 KB

This Book Constitutes The Refereed Proceedings Of The 4th International Conference Of Z And B Users, Zb 2005, Held In Guildford, Uk In April 2005. The 25 Revised Full Papers Presented Together With Extended Abstracts Of 2 Invited Papers Were Carefully Reviewed And Selected For Inclusion In The Book.