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. (ed.) 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 |
| Keywords: | UML Profile UML-B U2B |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 260676 |
| Date Deposited: | 11 Mar 2005 |
| Last Modified: | 02 Mar 2012 14:04 |
| Contributors: | Snook, Colin (Author) Butler, Michael (Author) Mermet, J. (Editor) |
| Date: | April 2004 |
| Additional Information: | Chapter: 6 |
| Status: | Published |
| Publisher: | Springer |
| 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 |
