Systematic Development of Control Designs via Formal Refinement


Satpathy, Manoranjan, Snook, Colin, Arora, Silky, Ramesh, S and Butler, Michael (2013) Systematic Development of Control Designs via Formal Refinement At International Conference on Model-Driven Engineering and Software Development.

Download

[img] PDF models31.pdf - Other
Download (499kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: International Conference on Model-Driven Engineering and Software Development, 2013-02-01
Organisations: Electronic & Software Systems
ePrint ID: 349770
Date :
Date Event
February 2013Published
Date Deposited: 09 Mar 2013 13:09
Last Modified: 23 Feb 2017 04:21
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/349770

Actions (login required)

View Item View Item