Open AccessA methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
Author(s) -
Vladimiro Sassone,
Giles Howard,
John L. Colley,
Michael Butler
Publication year - 2019
Publication title -
international journal of critical computer-based systems
Language(s) - English
Resource type - Journals
eISSN - 1757-8787
pISSN - 1757-8779
DOI - 10.1504/ijccbs.2019.10020048
Subject(s) - event (particle physics) , computer science , risk analysis (engineering) , business , quantum mechanics , physics