Snook, Colin, Morris, Karla and Hoang, Thai Son (2018) Rodin Prototype Plug-ins and Development of the SecBot Case Study. University of Southampton doi:10.5258/SOTON/D0693 [Dataset]
Record type:
Dataset
Abstract
Dataset supporting "Refinement of Statecharts with Run-to-Completion Semantics" Presented at FTSCS 2018 - The 6th International Workshop on Formal Techniques for Safety-Critical Systems, 16th November 2018, Gold Coast, Australia
Archive
ac.soton.prototypes.updateSite.zip
- Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (18MB)
Archive
SecBot_generated.zip
- Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (357kB)
More information
Published date: 26 October 2018
Keywords:
SCXML, Statecharts, Event-B, iUML-B, Refinement
Organisations:
Cyber Physical Systems
Identifiers
Local EPrints ID: 425610
URI: http://eprints.soton.ac.uk/id/eprint/425610
PURE UUID: e7e1cb22-4474-4129-805b-bb39b8bf7209
Catalogue record
Date deposited: 25 Oct 2018 16:30
Last modified: 13 Nov 2023 02:46
Export record
Altmetrics
Contributors
Creator:
Colin Snook
Creator:
Karla Morris
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.