Salehi Fathabadi, Asieh, Dghaym, Dana, Hoang, Son, Butler, Michael and Snook, Colin (2022) Generating SPARK from Event-B, providing fundamental safety and security. DETECT 2022 mo Deling, v Erification and Testing of d Ependable Cri Tical systems, In conjunction with 11th International Conference on Model and Data Engineering.
Record type:
Conference or Workshop Item
(Paper)
More information
Accepted/In Press date: 2022
Published date: 2022
Venue - Dates:
DETECT 2022 mo Deling, v Erification and Testing of d Ependable Cri Tical systems, In conjunction with 11th International Conference on Model and Data Engineering, 2022-11-21
Identifiers
Local EPrints ID: 474478
URI: http://eprints.soton.ac.uk/id/eprint/474478
PURE UUID: 26fa13ad-9f24-4d6e-8135-7771e80071a2
Catalogue record
Date deposited: 22 Feb 2023 21:13
Last modified: 17 Mar 2024 03:45
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Dana Dghaym
Author:
Son Hoang
Author:
Michael Butler
Author:
Colin Snook
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.