The University of Southampton


Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2014) Evaluation of graphical control flow management approaches for Event-B modelling At Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), United Kingdom. 15 pp. (doi:10.14279/tuj.eceasst.66.891).

Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh (2016) A graphical tool for event refinement structures in Event-B At Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Austria. , pp. 269-274. (doi:10.1007/978-3-319-33600-8_20).

Dghaym, Dana, Salehi Fathabadi, Asieh and Snook, Colin (2016) Using Rodin and BMotionStudio for public engagement At Rodin Developer Workshop 2016, Austria.

Dghaym, Dana (2017) Extending the ERS approach for workflow modelling in Event-B University of Southampton Doctoral Thesis , 389pp.


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.