Dghaym, Dana, Hoang, Thai Son and Snook, Colin (2018) Requirements document, scenarios, and Event-B models for lift examples. University of Southampton doi:10.5258/SOTON/D0604 [Dataset]
Record type:
Dataset
Abstract
This dataset supports the publication titled "Behaviour-driven formal model development" (ICFEM 2018)
Text
elevator_requirements.pdf
- Text
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (104kB)
Text
elevator_scenarios.pdf
- Text
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (92kB)
Text
multi_shaftelevator_requirements.pdf
- Text
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (137kB)
Archive
Lift_son4.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (56kB)
Archive
Lift_son4_1.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (58kB)
Archive
Lift_son4_2.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (58kB)
Archive
Lift_son4_3.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (58kB)
More information
Published date: 10 July 2018
Organisations:
Cyber Physical Systems
Identifiers
Local EPrints ID: 422715
URI: http://eprints.soton.ac.uk/id/eprint/422715
PURE UUID: 601f6a2c-fa41-4803-962c-aecfe467c59a
Catalogue record
Date deposited: 31 Jul 2018 16:31
Last modified: 12 Nov 2023 02:51
Export record
Altmetrics
Contributors
Creator:
Dana Dghaym
Creator:
Thai Son Hoang
Creator:
Colin Snook
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.