The University of Southampton

Ahmed Al-Brashdi

Postgraduate research student



BSc Software Development, College of Applied Science - Sur, Oman

Master of Information Technology - Software Engineering, The University of Sydney, Australia

MSc Computer Science, University of Southampton, UK


Al-Brashdi, Ahmed (2016) Model-based database design At Formal Methods 2016 Doctoral Symposium, Cyprus. 07 - 11 Nov 2016. 6 pp.

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B At Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systemsc at ICFEM 2016, Japan. 14 - 16 Nov 2016. 7 pp.


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.