U2B - A tool for translating UML-B models into B


Snook, Colin and Butler, Michael (2004) U2B - A tool for translating UML-B models into B In, Mermet, J. (eds.) UML-B Specification for Proven Embedded Systems Design. Springer

This is the latest version of this item.

Download

Full text not available from this repository.

Item Type: Book Section
Additional Information: Chapter: 6
ISBNs: 1402028660 (print)
Keywords: UML Profile UML-B U2B
Organisations: Electronic & Software Systems
ePrint ID: 260676
Date :
Date Event
April 2004Published
Date Deposited: 11 Mar 2005
Last Modified: 17 Apr 2017 22:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260676

Available Versions of this Item

  • U2B - A tool for translating UML-B models into B (deposited 11 Mar 2005) [Currently Displayed]

Actions (login required)

View Item View Item