Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B. IEEE International Workshop on Formal Methods Integration.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: August 2013
Venue - Dates:
IEEE International Workshop on Formal Methods Integration, 2013-08-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 354290
URI: http://eprints.soton.ac.uk/id/eprint/354290
PURE UUID: 6755b141-c930-4423-a7c7-cf81269a2407
Catalogue record
Date deposited: 05 Jul 2013 11:11
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Sanaz Yeganefard
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.