Butler, Michael, Abrial, Jean-Raymond and Banach, Richard (2016) Modelling and Refining Hybrid Systems in Event-B and Rodin. In, Petre, Luigia and Sekerinski, Emil (eds.) From Action System to Distributed Systems: The Refinement Approach. Taylor & Francis. (doi:10.1201/b20053-5).
Record type:
Book Section
More information
e-pub ahead of print date: 20 April 2016
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 376053
URI: http://eprints.soton.ac.uk/id/eprint/376053
DOI: doi:10.1201/b20053-5
PURE UUID: bb2ebc2c-91c9-48a9-af0c-3a73a1caed0a
Catalogue record
Date deposited: 13 Apr 2015 21:47
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Michael Butler
Author:
Jean-Raymond Abrial
Author:
Richard Banach
Editor:
Luigia Petre
Editor:
Emil Sekerinski
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.