Co-simulating Event-B and continuous models via FMI
Co-simulating Event-B and continuous models via FMI
9781632667335
Savicks, Vitaly
bd762a34-b695-4022-9830-8d666cdd43d7
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
July 2014
Savicks, Vitaly
bd762a34-b695-4022-9830-8d666cdd43d7
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
Savicks, Vitaly, Butler, Michael and Colley, John
(2014)
Co-simulating Event-B and continuous models via FMI.
2014 Summer Computer Simulation Conference, Monterey, United States.
06 - 10 Jul 2014.
Record type:
Conference or Workshop Item
(Paper)
Text
ss14_ebfmi.pdf
- Author's Original
More information
Published date: July 2014
Venue - Dates:
2014 Summer Computer Simulation Conference, Monterey, United States, 2014-07-06 - 2014-07-10
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 365252
URI: http://eprints.soton.ac.uk/id/eprint/365252
ISBN: 9781632667335
PURE UUID: 76b6fd7f-442f-48a8-88dc-cc83c8e26236
Catalogue record
Date deposited: 29 May 2014 13:33
Last modified: 15 Mar 2024 02:50
Export record
Contributors
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.
View more statistics