A Formal, Systematic Approach to STPA using Event-B Refinement and Proof


Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof At 21th Safety Critical System Symposium.

Download

[img] PDF STPAandEventB.pdf - Author's Original
Download (805kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 21th Safety Critical System Symposium, 2013-02-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 352155
Date :
Date Event
February 2013Published
Date Deposited: 02 May 2013 17:19
Last Modified: 17 Apr 2017 15:34
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/352155

Actions (login required)

View Item View Item