Co-simulation of Event-B and Ptolemy II Models via FMI


Chaudemar, Jean-Charles, Savicks, Vitaly, Butler, Michael and Colley, John (2014) Co-simulation of Event-B and Ptolemy II Models via FMI At Embedded Real-time software and systems (ERTSS 2014).

Download

[img] PDF erts2014_submission_105.pdf - Other
Download (199kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Embedded Real-time software and systems (ERTSS 2014), 2014-02-01
Organisations: Electronic & Software Systems
ePrint ID: 364599
Date :
Date Event
February 2014Published
Date Deposited: 01 May 2014 14:33
Last Modified: 23 Feb 2017 00:40
Projects:
Advanced Design and Verification Environment for Cyber-physical System Engineering (ADVANCE)
Funded by: European Commission - FP7 (287563)
1 October 2011 to 31 March 2014
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/364599

Actions (login required)

View Item View Item