Publisher
Springer Nature Switzerland
Reference6 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge, USA (2010)
2. 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(6), 447–466 (2010)
3. Lecture Notes in Computer Science;J-R Abrial,2008
4. Hoang, T.S., Fürst, A., Abrial, J.R.: Event-B patterns and their tool support. Softw. Syst. Model. 12, 229–244 (2013)
5. Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A.: Towards automated refinement: Patterns in Event B, vol. 01 (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献