Publisher
Springer International Publishing
Reference7 articles.
1. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
3. Aït-Ameur, Y., et al.: Encoding a process algebra using the Event B method. STTT 11, 239–253 (2009).
https://doi.org/10.1007/s10009-009-0109-2
4. Lecture Notes in Computer Science;R Geniet,2018
5. Lecrubier, V.: A formal language for designing, specifying and verifying critical embedded human machine interfaces. Ph.D. thesis. ISAE - Universitéde Toulouse, June 2016.
https://hal.archives-ouvertes.fr/tel-01455466