Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
3. Butler, M., Colley, J., Edmunds, A., Snook, C., Evans, N., Grant, N., Marshall, H.: Modelling and refinement in CODA. In: Refine@IFM 2013, EPTCS, Turku, Finland, vol. 115, pp. 36–51 (2013)
4. Lecture Notes in Computer Science;M Butler,2017
5. Fischer, T., Snook, C., Hoang, T.: Formal model validation through acceptance tests. Technical report, University of Southampton, UK, March 2018
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献