U2B - A tool for translating UML-B models into B
U2B - A tool for translating UML-B models into B
UML Profile UML-B U2B
1-4020-2866-0
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
April 2004
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
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
Full text not available from this repository.
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: https://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: 18 Jul 2017 09:11
Export record
Contributors
Author:
Colin Snook
Author:
Michael Butler
Editor:
J. Mermet
University divisions
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.
View more statistics
Library staff edit