Chaudemar, Jean-Charles, Savicks, Vitaly, Butler, Michael and Colley, John (2014) Co-simulation of Event-B and Ptolemy II Models via FMI. Embedded Real-time software and systems (ERTSS 2014).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: February 2014
Venue - Dates:
Embedded Real-time software and systems (ERTSS 2014), 2014-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 364599
URI: http://eprints.soton.ac.uk/id/eprint/364599
PURE UUID: 8991b436-050b-45e7-b677-51f893a3d7f9
Catalogue record
Date deposited: 01 May 2014 14:33
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Jean-Charles Chaudemar
Author:
Vitaly Savicks
Author:
Michael Butler
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.