Imen Sayar, Mohamed Tahar Bhiri. From an abstract specification in event-b toward an UML/OCL model. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 17-23, ACM, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.