Author:
Said Mar Yah,Butler Michael,Snook Colin
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference39 articles.
1. Abrial, J.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, R., Hallerstede, S.: Refinement, decomposition and instantiation of discrete models: application to Event-B. J. Fundam. Inf. 77(1–2), 1–28 (2007)
3. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12, 447–466 (2010)
4. Abrial, J.: Modeling in Event-B—System and Software Engineering. Cambridge University Press, Cambridge (2010)
5. Amálio, N., Polack, F., Stepney, S. : UML + Z: Augmenting UML with Z, In: Software Specification Methods, pp. 81–102, Hermes Science Publishing (2006)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献