Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof. 21th Safety Critical System Symposium.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: February 2013
Venue - Dates:
21th Safety Critical System Symposium, 2013-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 352155
URI: http://eprints.soton.ac.uk/id/eprint/352155
PURE UUID: 2fb8cc2e-f5bb-4710-bf31-d08d81fcb43d
Catalogue record
Date deposited: 02 May 2013 17:19
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
John Colley
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.