ATM Case study models - UML-B/Event-B
ATM Case study models - UML-B/Event-B
University of Southampton
Said, Mar Yah
918c308e-332d-4b9a-a2de-58d91e2ac0c6
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Said, Mar Yah
918c308e-332d-4b9a-a2de-58d91e2ac0c6
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Said, Mar Yah
(2012)
ATM Case study models - UML-B/Event-B.
University of Southampton
[Dataset]
Archive
ATM.zip
- Dataset
More information
Published date: 2012
Organisations:
Electronic & Software Systems, Faculty of Physical Sciences and Engineering
Identifiers
Local EPrints ID: 346101
URI: http://eprints.soton.ac.uk/id/eprint/346101
PURE UUID: 78ecd75a-0f1b-4837-b657-365f9d56bd9a
Catalogue record
Date deposited: 11 Dec 2012 13:24
Last modified: 06 Nov 2023 02:37
Export record
Contributors
Creator:
Mar Yah Said
Research team head:
Colin Snook
Research team head:
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.
View more statistics