The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Designing exception handling using Event-B

Designing exception handling using Event-B
Designing exception handling using Event-B
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Thorburn, Robert
da604f04-44b0-4d81-80de-0c9e64f985c3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Aniello, Leonardo
9846e2e4-1303-4b8b-9092-5d8e9bb514c3
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Thorburn, Robert
da604f04-44b0-4d81-80de-0c9e64f985c3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Aniello, Leonardo
9846e2e4-1303-4b8b-9092-5d8e9bb514c3
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7

Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Thorburn, Robert, Butler, Michael, Aniello, Leonardo and Sassone, Vladimiro (2024) Designing exception handling using Event-B. ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy. 25 - 28 Jun 2024.

Record type: Conference or Workshop Item (Paper)
Text
paper_ABZ2024 - Accepted Manuscript
Available under License Creative Commons Attribution.
Download (297kB)

More information

Submitted date: 24 February 2024
Accepted/In Press date: 9 April 2024
Published date: 25 June 2024
Venue - Dates: ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy, 2024-06-25 - 2024-06-28
Related URLs:
Learn more about Cyber Security research Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 489595
URI: http://eprints.soton.ac.uk/id/eprint/489595
PURE UUID: eafb6c46-9408-4176-8461-ea9f718cd288
ORCID for Asieh Salehi Fathabadi: ORCID iD orcid.org/0000-0002-0508-3066
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
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373
ORCID for Leonardo Aniello: ORCID iD orcid.org/0000-0003-2886-8445

Catalogue record

Date deposited: 29 Apr 2024 16:43
Last modified: 10 May 2024 01:51

Export record

Contributors

Author: Asieh Salehi Fathabadi ORCID iD
Author: Colin Snook ORCID iD
Author: Thai Son Hoang ORCID iD
Author: Robert Thorburn
Author: Michael Butler ORCID iD
Author: Leonardo Aniello ORCID iD
Author: Vladimiro Sassone

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

Library staff additional information
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.

×