Sritharan, Sanjeevan and Hoang, Thai Son (2021) Dataset for "Towards Generating SPARK from Event-B Models". University of Southampton doi:10.5258/SOTON/D1554 [Dataset]
Record type:
Dataset
Abstract
Dataset supports: Sritharan, S & Hoang, TS 2020, Generating SPARK from Event-B Models. in Proceedings of the 16th International Conference on integrated Formal Methods. The 16th International Conference on integrated Formal Methods, Lugano, Switzerland, 16/11/20.
Text
README_D1554.txt
- Text
Available under License Creative Commons Attribution Share Alike.
Download (2kB)
Archive
Elevator.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (887kB)
Archive
Car.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (8kB)
Archive
Club.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (14kB)
Archive
Hotel.zip
- Model
Available under License Creative Commons Attribution Share Alike.
Download (21kB)
More information
Published date: 2021
Related URLs:
Identifiers
Local EPrints ID: 446107
URI: http://eprints.soton.ac.uk/id/eprint/446107
PURE UUID: 6ef6efc9-eaa0-49ce-909b-878b80718323
Catalogue record
Date deposited: 20 Jan 2021 17:32
Last modified: 06 Jun 2024 01:54
Export record
Altmetrics
Contributors
Creator:
Sanjeevan Sritharan
Creator:
Thai Son Hoang
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.