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.
Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Incremental database design using UML-B and Event-B At 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Xi'an, China. 16 Nov 2017. 13 pp.