Modelling hybrid systems in Event-B and Hybrid Event-B: a comparison of water tanks


Banach, Richard and Butler, Michael (2016) Modelling hybrid systems in Event-B and Hybrid Event-B: a comparison of water tanks At Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Proceedings, Japan. 14 - 18 Nov 2016. , pp. 90-105. (doi:10.1007/978-3-319-47846-3_7).

Download

[img] PDF BanachButlerICFEM2016 - Accepted Manuscript
Restricted to Repository staff only until 15 October 2017.
Available under License University of Southampton Accepted Manuscript Licence.

Download (177kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-319-47846-3_7
Venue - Dates: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Proceedings, Japan, 2016-11-14 - 2016-11-18
Organisations: Electronic & Software Systems
ePrint ID: 403130
Date :
Date Event
29 June 2016Accepted/In Press
15 October 2016e-pub ahead of print
November 2016Published
Date Deposited: 22 Nov 2016 09:54
Last Modified: 18 Mar 2017 03:02
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/403130

Actions (login required)

View Item View Item