Class and State Machine Refinement in UML-B
Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Class and State Machine Refinement in UML-B. In, Integration of Model-based Formal Methods and Tools (workshop at iFM 2009)
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (512Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 267133 |
| Date Deposited: | 22 Feb 2009 23:38 |
| Last Modified: | 26 Apr 2013 04:33 |
| Contributors: | Said, Mar Yah (Author) Butler, Michael (Author) Snook, Colin (Author) |
| Date: | 16 February 2009 |
| Status: | Unpublished |
| Further Information: | Google Scholar |
| ISI Citation Count: | 4 |
| URI: | http://eprints.soton.ac.uk/id/eprint/267133 |
Actions (login required)
 |
View Item |
