Theses most similar to those of author Chen, Xinhui, 1996-
Development of a graphical approach to software requirements analysis (1998) read it
- Advisor: Charles P. Coleman
- Department of Aeronautics and Astronautics
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
- Advisor: David A. McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Jonathan Allen
- Department of Electrical Engineering and Computer Science
Evaluation of the regulatory review process for the software development life cycle
Gnau, Andrew Patrick (1997)
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering
Formal verification and dynamic validation of logic-based control systems
Park, Taeshin, 1966- (1998)
- Advisor: Paul I. Barton
- Department of Chemical Engineering
- Advisor: Brian C. Williams
- 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
- Advisors: Farrar, J. Thomas (John Thomas), 1976-; Nancy G. Leveson
- Engineering Systems Division; Institute for Data, Systems, and Society