Savicks, Vitaly, Butler, Michael, Bendisposto, Jens and Colley, John (2013) Co-simulation of Event-B and Continuous Models in Rodin. 4th Rodin User and Developer Workshop.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: June 2013
Venue - Dates:
4th Rodin User and Developer Workshop, 2013-06-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 360400
URI: http://eprints.soton.ac.uk/id/eprint/360400
PURE UUID: 7dd47250-1654-49ce-b08f-decfab9f6f4e
Catalogue record
Date deposited: 05 Dec 2013 16:12
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Vitaly Savicks
Author:
Michael Butler
Author:
Jens Bendisposto
Author:
John Colley
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.