Tool support for model-based database design with Event-B


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.

Download

[img] PDF Tool Support for Model-Based Database Design with Event-B.pdf - Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.

Download (184kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systemsc at ICFEM 2016, Japan, 2016-11-14 - 2016-11-16
Organisations: Electronic & Software Systems
ePrint ID: 402252
Date :
Date Event
16 October 2016Accepted/In Press
14 November 2016e-pub ahead of print
Date Deposited: 04 Nov 2016 13:58
Last Modified: 17 Apr 2017 01:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/402252

Actions (login required)

View Item View Item