Designing critical systems using hierarchical STPA and event-B
Designing critical systems using hierarchical STPA and event-B
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Alotaibi, Fahad Abduallah
3606f09d-b071-47de-b0c2-f9784f7b1abd
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
30 May 2023
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Dghaym, Dana
b7b69fe2-c9ff-43ad-a6ba-8b41d6fd19fc
Hoang, Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Alotaibi, Fahad Abduallah
3606f09d-b071-47de-b0c2-f9784f7b1abd
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Salehi Fathabadi, Asieh, Snook, Colin, Dghaym, Dana, Hoang, Son, Alotaibi, Fahad Abduallah and Butler, Michael
(2023)
Designing critical systems using hierarchical STPA and event-B.
9th International Conference on Rigorous State Based Methods: LNCS, volume 14010, Nancy, France.
Record type:
Conference or Workshop Item
(Paper)
Text
ABZ2023-SHARCS
- Accepted Manuscript
More information
Published date: 30 May 2023
Venue - Dates:
9th International Conference on Rigorous State Based Methods: LNCS, volume 14010, Nancy, France, 2023-05-30
Identifiers
Local EPrints ID: 478066
URI: http://eprints.soton.ac.uk/id/eprint/478066
PURE UUID: bd3944dc-8bf7-471a-a002-c5a3903a5519
Catalogue record
Date deposited: 21 Jun 2023 16:48
Last modified: 17 Mar 2024 03:58
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Colin Snook
Author:
Dana Dghaym
Author:
Son Hoang
Author:
Fahad Abduallah Alotaibi
Author:
Michael Butler
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