A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Teaching formal methods in a third world country: what, why and how
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Hi-index | 0.00 |
From the Publisher:This self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, presents realistic case studies emphasizing safety-critical systems. It includes exercises with solutions, reference materials and a guide to further reading.