Class and State Machine Re?nement in UML-B


Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Class and State Machine Re?nement in UML-B At Integration of Model-based Formal Methods and Tools (workshop at iFM 2009).

Download

[img] PDF IM_FMT_UML-B_final.pdf - Other
Download (524kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009), 2009-02-16
Organisations: Electronic & Software Systems
ePrint ID: 267133
Date :
Date Event
16 February 2009Accepted/In Press
Date Deposited: 22 Feb 2009 23:38
Last Modified: 23 Feb 2017 10:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267133

Actions (login required)

View Item View Item