System safety assessment based on STPA and model checking
Year: 2018
Type: article
Source: Safety Science
Authors: Alheri Longji Dakwat, Emilia Villani
Institution: Instituto Tecnológico de Aeronáutica
Language: English
Topic: Risk and Safety Analysis
Subfield: Statistics, Probability and Uncertainty
Field: Decision Sciences
Domain: Social Sciences
Open Access status: closed
OpenAlex ID: W2808418454