Publisher
Springer Nature Switzerland
Reference41 articles.
1. Hybrid ERTMS/ETCS Level 3. Principles Ref: 16E042, Version: 1A, EEIG ERTMS Users Group, 123-133 Rue Froissart, 1040 Brussels, Belgium (2017)
2. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
3. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Abrial, J.-R., Mussat, L.: On using conditional definitions in formal theories. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) Proceedings ZB 2002. LNCS, vol. 2272, pp. 242–269. Springer, Cham (2002). https://doi.org/10.1007/3-540-45648-1_13
5. Aït-Sadoune, I.: A floating-point numbers theory for Event-B. In: Mosbah, M., Kechadi, M.T., Bellatreche, L., Gargouri, F. (eds.) Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, 2–4 November 2023, Proceedings. LNCS, vol. 14396, pp. 30–43. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-49333-1_3