Co-simulation of Event-B and Continuous Models in Rodin


Savicks, Vitaly, Butler, Michael, Bendisposto, Jens and Colley, John (2013) Co-simulation of Event-B and Continuous Models in Rodin At 4th Rodin User and Developer Workshop.

Download

[img] PDF 14_Savicks.pdf - Other
Download (73kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 4th Rodin User and Developer Workshop, 2013-06-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 360400
Date :
Date Event
June 2013Published
Date Deposited: 05 Dec 2013 16:12
Last Modified: 23 Feb 2017 01:52
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/360400

Actions (login required)

View Item View Item