𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || A Formal Specification in B of a Medical Decision Support System

✍ Scribed by Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina

Book ID
120213507
Publisher
Springer Berlin Heidelberg
Year
2003
Weight
179 KB
Category
Article
ISBN
3540448802

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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.

[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.

[Lecture Notes in Computer Science] B 20
[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Integration of Security Policy into System Modeling
✍ Julliand, Jacques; Kouchnarenko, Olga 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 443 KB

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, he