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 Sci. Comp. Prog.

Download

[img] PDF ContEvB--II.pdf - Other
Download (828kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 404128
Date :
Date Event
December 2016Accepted/In Press
Date Deposited: 21 Dec 2016 12:36
Last Modified: 22 Feb 2017 02:23
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/404128

Actions (login required)

View Item View Item