Theses most similar to Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis (Thomas, John P., IV; 2013) read it
Hazard elimination using backwards reachability techniques in discrete and hybrid models
Neogi, Natasha A. (Natasha Anita), 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Context in the risk assessment and hazard analysis of digital instrumentation and control systems
Garrett, Christopher James (1999)
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics