Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines


Banach, Richard, Butler, Michael, Qin, Shengchao and Zhu, Huibao (2016) Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines Science of Computer Programming, pp. 1-35.

Download

[img] PDF ContEvB--II.pdf - Accepted Manuscript
Restricted to Repository staff only until 15 March 2018.
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (828kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 404128
Date :
Date Event
21 December 2016Accepted/In Press
15 March 2017e-pub ahead of print
Date Deposited: 21 Dec 2016 12:36
Last Modified: 17 Apr 2017 00:42
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/404128

Actions (login required)

View Item View Item