Theses most similar to TSAFE : building a trusted computing base for air traffic control software (Dennis, Gregory D. (Gregory David), 1980-; 2003) read it
Design and evaluation of advanced electronic cockpit displays for instrument approach information
Mykityshyn, Mark G. (Mark Gerald) (1991)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Multi-agent flight simulation with robust situation generation dc by Eric N. Johnson.
Johnson, Eric N (1995)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Evaluating the depiction of complex RNAV/RNP procedures and analyzing a potential de-cluttering technique
Butchibabu, Abhizna (2012)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
A safety-centered approach to developing new air traffic management tools
De Villepin, Maxime Galouzéau, 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Extending a formal specification & requirements language : a case study
Lai, Danny Cho-Liang, 1978- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
VisualFlight : the air traffic control data analysis system
Lin, Joyce C. (Joyce Chaisin), 1979- (2002)
- Advisor: David K. Gifford
- Department of Electrical Engineering and Computer Science
Full efficiency benefits and implementation considerations for cruise altitude and speed optimization in the National Airspace system
Jensen, Luke L (2014)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Estimation of potential aircraft fuel burn reduction in cruise via speed and altitude optimization strategies
Lovegren, Jonathan A. (Jonathan Anders) (2011)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics