The University of Southampton
University of Southampton Institutional Repository

Rodin Prototype Plug-ins and Development of the SecBot Case Study

Rodin Prototype Plug-ins and Development of the SecBot Case Study
Rodin Prototype Plug-ins and Development of the SecBot Case Study
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
SCXML, Statecharts, Event-B, iUML-B, Refinement
University of Southampton
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Morris, Karla
b1823b83-c626-4ce2-aa5b-3a5fc8f0e1c2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Morris, Karla
b1823b83-c626-4ce2-aa5b-3a5fc8f0e1c2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f

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

Text
README.md - Dataset
Download (1kB)
Archive
ac.soton.prototypes.updateSite.zip - Dataset
Download (18MB)
Archive
SecBot_generated.zip - Dataset
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
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983
ORCID for Thai Son Hoang: ORCID iD orcid.org/0000-0003-4095-0732

Catalogue record

Date deposited: 25 Oct 2018 16:30
Last modified: 14 Dec 2021 02:45

Export record

Altmetrics

Contributors

Creator: Colin Snook ORCID iD
Creator: Karla Morris
Creator: Thai Son Hoang ORCID iD

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×