Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B


Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B At IEEE International Workshop on Formal Methods Integration.

Download

[img] PDF paper 16.pdf - Author's Original
Download (4MB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: IEEE International Workshop on Formal Methods Integration, 2013-08-01
Organisations: Electronic & Software Systems
ePrint ID: 354290
Date :
Date Event
August 2013Published
Date Deposited: 05 Jul 2013 11:11
Last Modified: 23 Feb 2017 03:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/354290

Actions (login required)

View Item View Item