Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit


Snook, Colin and Butler, Michael (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit At UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions.

Download

[img] Postscript dsse-tr-2000-12.ps - Other
Download (750kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions, 2000-10-01
Organisations: Electronic & Software Systems
ePrint ID: 254106
Date :
Date Event
October 2000Published
Date Deposited: 17 Oct 2000
Last Modified: 23 Feb 2017 15:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/254106

Actions (login required)

View Item View Item