Snook, Colin and Butler, Michael (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: October 2000
Venue - Dates:
UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions, 2000-10-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 254106
URI: http://eprints.soton.ac.uk/id/eprint/254106
PURE UUID: 6a0cd200-9067-4fb4-9117-8e0179018814
Catalogue record
Date deposited: 17 Oct 2000
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Colin Snook
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.