Banach, Richard and Butler, Michael (2016) Modelling hybrid systems in Event-B and Hybrid Event-B: a comparison of water tanks. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Proceedings, Tokyo, Japan. 14 - 18 Nov 2016. pp. 90-105 . (doi:10.1007/978-3-319-47846-3_7).
Record type:
Conference or Workshop Item
(Paper)
Text
BanachButlerICFEM2016
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (177kB)
More information
Accepted/In Press date: 29 June 2016
e-pub ahead of print date: 15 October 2016
Published date: November 2016
Venue - Dates:
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Proceedings, Tokyo, Japan, 2016-11-14 - 2016-11-18
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 403130
URI: http://eprints.soton.ac.uk/id/eprint/403130
PURE UUID: a0b54f6f-e47e-4c3a-ac1e-dc7d3004dd7d
Catalogue record
Date deposited: 22 Nov 2016 09:54
Last modified: 16 Mar 2024 05:09
Export record
Altmetrics
Contributors
Author:
Richard Banach
Author:
Michael Butler
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.