Extending Code Generation to Support Platform-Independent Event-B Models


Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin (2016) Extending Code Generation to Support Platform-Independent Event-B Models At Rodin Developer Workshop, 2016. , p. 21.

Download

[img] PDF Proceedings of the 6th Rodin User and Developer Workshop, 2016 - Version of Record
Restricted to Repository staff only

Download (2MB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Rodin Developer Workshop, 2016, 2016-01-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 403135
Date :
Date Event
2016Published
Date Deposited: 22 Nov 2016 11:23
Last Modified: 26 Jun 2017 16:32
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/403135

Actions (login required)

View Item View Item