Publisher
Springer Nature Switzerland
Reference33 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge (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. Software Tools Technol. Transfer 12(6), 447–466 (2010)
3. Alkhammash, E., Butler, M., Fathabadi, A.S., Cîrstea, C.: Building traceable Event-B models from requirements. Sci. Comput. Programm. 111, 318–338 (2015). Special Issue on Automated Verification of Critical Systems (AVoCS 2013)
4. Lecture Notes in Computer Science;E Ball,2009
5. Bettini, L.: Implementing Domain Specific Languages with Xtext and Xtend - Second Edition, 2nd edn. Packt Publishing (2016)