Modelling ATM case study in event-B
Modelling ATM case study in event-B
Gondal, Ali
c41a6db2-a667-4854-afa8-d0dfb78016dc
Gondal, Ali
c41a6db2-a667-4854-afa8-d0dfb78016dc
Gondal, Ali
(2012)
Modelling ATM case study in event-B.
Pre-print.
Text
ATM_Case_Study_Description.pdf
- Other
Archive
ATM_Case_Study_Event-B_Models_Archive.zip
- Other
More information
e-pub ahead of print date: 4 September 2012
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 342508
URI: http://eprints.soton.ac.uk/id/eprint/342508
PURE UUID: 554df4ed-e0f3-4b3b-9b81-69a14802404a
Catalogue record
Date deposited: 04 Sep 2012 16:45
Last modified: 14 Mar 2024 11:52
Export record
Contributors
Author:
Ali Gondal
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