Theses most similar to Modeling and analysis of software specifications for an autonomous aerial vehicle (Vuong, Hon Fai, 1975-; 1999) read it
System design visualizations for synthesizing intent specifications
Chiesi Stephanie Sharo, 1977- (2004)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Charles P. Coleman
- Department of Aeronautics and Astronautics
Development and evaluation of a prototype electronic vertical situation display
Vakil, Sanjay S. (Sanjay Sridhar) (1996)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
- Advisor: John V. Guttag
- Department of Electrical Engineering and Computer Science
Investigating the readability of formal specification languages
Zimmerman, Marc Kenton, 1975- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- 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
Application of STPA to the integration of multiple control systems : a case study and new approach
Placke, Matthew Seth (2014)
- Advisors: Farrar, J. Thomas (John Thomas), 1976-; Nancy G. Leveson
- Engineering Systems Division
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science