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 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 |
