Satpathy, Manoranjan, Snook, Colin, Arora, Silky, Ramesh, S and Butler, Michael (2013) Systematic Development of Control Designs via Formal Refinement. International Conference on Model-Driven Engineering and Software Development.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: February 2013
Venue - Dates:
International Conference on Model-Driven Engineering and Software Development, 2013-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 349770
URI: http://eprints.soton.ac.uk/id/eprint/349770
PURE UUID: 7cc333ca-e372-47ea-a34b-7b404fd3763e
Catalogue record
Date deposited: 09 Mar 2013 13:09
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Manoranjan Satpathy
Author:
Colin Snook
Author:
Silky Arora
Author:
S Ramesh
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.