Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Class and state machine refinement in UML-B. Integration of Model-based Formal Methods and Tools (workshop at iFM 2009).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 16 February 2009
Venue - Dates:
Integration of Model-based Formal Methods and Tools (workshop at iFM 2009), 2009-02-16
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 267133
URI: http://eprints.soton.ac.uk/id/eprint/267133
PURE UUID: d186f9ae-e367-433d-8c30-8e749240a14c
Catalogue record
Date deposited: 22 Feb 2009 23:38
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Mar Yah Said
Author:
Michael Butler
Author:
Colin Snook
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.