The Modelling Framework: Event-B - Using Event-B for Critical Device Software Systems - page 57

Fig. 3.3

Re-composition

References

1. Abrial, J.-R. (1996). Extending B without changing it (for developing distributed systems). In
H. Habrias (Ed.), 1st conference on the B method (pp. 169-190).
2. Abrial, J.-R. (1996). The B-book: Assigning programs to meanings . New York: Cambridge
University Press.
3. Abrial, J.-R. (2003). B#: Toward a synthesis between Z and B. In D. Bert, J. P. Bowen, S. King,
&M.Waldén(Eds.), Lecture notes in computer science: Vol. 2651 . ZB 2003: Formal specifi-
cation and development in Z and B (pp. 168-177). Berlin: Springer.