Snook, Colin and Butler, Michael (2004) U2B - A tool for translating UML-B models into B. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. Springer.
Record type:
Book Section
This record has no associated files available for download.
More information
Published date: April 2004
Additional Information:
Chapter: 6
Keywords:
UML Profile UML-B U2B
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 260676
URI: http://eprints.soton.ac.uk/id/eprint/260676
ISBN: 1-4020-2866-0
PURE UUID: 245a7978-de1b-47aa-a756-4a6aae20b1a9
Catalogue record
Date deposited: 11 Mar 2005
Last modified: 11 Dec 2021 03:45
Export record
Contributors
Author:
Colin Snook
Author:
Michael Butler
Editor:
J. Mermet
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.