Salehi Fathabadi, Asieh, Hoang, Thai Son and Butler, Michael (2026) SHARCS: refinement-centric hazard analysis of requirements for critical systems. ABZ 2026 – 12th International Conference on Rigorous State Based Methods, , Tokyo, Japan. 7 pp .
Record type:
Conference or Workshop Item
(Paper)
Text
ABZ202601
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (1MB)
More information
Published date: 18 May 2026
Venue - Dates:
ABZ 2026 – 12th International Conference on Rigorous State Based Methods, , Tokyo, Japan, 2026-05-18
Identifiers
Local EPrints ID: 511394
URI: http://eprints.soton.ac.uk/id/eprint/511394
PURE UUID: dc6af9e0-df71-4f12-9a34-fc110c5b3567
Catalogue record
Date deposited: 13 May 2026 16:52
Last modified: 14 May 2026 01:47
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Thai Son Hoang
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.