Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2020) Dataset for: Domain-Specific Scenarios for Refinement-based Methods. University of Southampton doi:10.5258/SOTON/D1026 [Dataset]
Record type:
Dataset
Abstract
Abstract Scenarios and related models for the HL3 case study described in: Snook, C., Hoang, T. S., Dghaym, D., Salehi Fathabadi, A., & Butler, M. (2020). Domain-Specific Scenarios for Refinement-based Methods. Journal of Systems Architecture.
Archive
Tokeneer2_JSA_200403.zip
- Model
Available under License Creative Commons Attribution.
Download (288kB)
More information
Published date: 8 July 2020
Keywords:
Rodin, Event-B, Cucumber, Scenarios
Identifiers
Local EPrints ID: 442413
URI: http://eprints.soton.ac.uk/id/eprint/442413
PURE UUID: 6298417a-b22f-4782-ad6d-39a1955e4c58
Catalogue record
Date deposited: 15 Jul 2020 16:30
Last modified: 06 May 2023 01:54
Export record
Altmetrics
Contributors
Creator:
Colin Snook
Creator:
Thai Son Hoang
Creator:
Dana Dghaym
Creator:
Michael Butler
Creator:
Asieh Salehi Fathabadi
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.