Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
The Composition of Event-B Models
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
Refinement preserves PLTL properties
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Creating sequential programs from event-B models
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
From requirements to development: methodology and example
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
A stepwise development of the peterson's mutual exclusion algorithm using b abstract systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Some guidelines for formal development of web-based applications in b-method
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |