Sally C. Johnson

发表

TOTAL user manual

Sally C. Johnson, David P. Boerschlein, 1994 .

Reliability analysis of large, complex systems using ASSIST

Sally C. Johnson, 1988 .

A Wrapper Paradigm for Trusted Implementation of Autonomy Applications

Sally C. Johnson, Jesse Couch, 2017 .

Rule groupings in expert systems

Mala Mehrotra, Sally C. Johnson, 1990 .

An Assessment of Unmanned Aircraft System Level-Turn Maneuver Performance Requirements In Relation to a Quantified Well-Clear Definition

Sally C. Johnson, Devin P. Jack, Keith D. Hoffler, 2015 .

Importance of rule groupings in verification of expert systems

Mala Mehrotra, Sally C. Johnson, 1990 .

ASSIST internals reference manual

Sally C. Johnson, David P. Boerschlein, 1994 .

Interface To The SURE Program

Sally C. Johnson, David P. Boerschlein, 1993 .

Exploration of the Trade Space Between Unmanned Aircraft Systems Descent Maneuver Performance and Sense-and-Avoid System Performance Requirements

Sally C. Johnson, Keith D. Hoffler, Devin P. Jack, 2014 .

Characterization of Metering, Merging and Spacing Requirements for Future Trajectory-Based Operations

Sally C. Johnson, 2017 .

An Advanced Trajectory-Based Operations Prototype Tool and Focus Group Evaluation

Bryan E. Barmore, Nelson M. Guerreiro, Denise R. Jones, 2017 .

Validation of highly reliable, real-time knowledge-based systems

Sally C. Johnson, 1988 .

Effects of Basing UAS DAA Requirements on Intruder Speeds Lower Than the Statute Speed Limit

Sally C. Johnson, Keith D. Hoffler, Devin P. Jack, 2016 .

Characterizing a Wake-free Safe Zone for the Simplified Aircraft-based Paired Approach Concept

Nelson M. Guerreiro, Kurt W. Neitzke, H. Paul Stough, 2010 .

The Second NASA Formal Methods Workshop 1992

C. Michael Holloway, Ricky W. Butler, Sally C. Johnson, 1992 .

Automated model generation for reliability analysis programs

Ricky W. Butler, Sally C. Johnson, 1987 .

Overview of the Small Aircraft Transportation System Project Four Enabling Operating Capabilities

Sally A. Viken, Sally C. Johnson, Frederick M. Brooks, 2005 .

Fault-Tolerant Clock Synchronization Validation Methodology

Daniel L. Palumbo, Ricky W. Butler, Sally C. Johnson, 1987 .

Evaluation of fault-tolerant parallel-processor architectures over long space missions

Sally C. Johnson, 1989 .

Documentation of the current fault detection, isolation and reconfiguration software of the AIPS fault-tolerant processor

Sally C. Johnson, David T. Lanning, Allen W. Shepard, 1987 .

Knowledge-based system verification and validation

Sally C. Johnson, 1990 .

Exploration of Detect-and-Avoid and Well-Clear Requirements for Small UAS Maneuvering in an Urban Environment

Sally C. Johnson, Alexander N. Petzen, Dylan S. Tokotch, 2017 .

Simplified Aircraft-Based Paired Approach: Concept Definition and Initial Analysis

Nelson M. Guerreiro, Gary W. Lohr, Sally C. Johnson, 2013 .

A strategy for automatically generating programs in the lucid programming language

Sally C. Johnson, 1987 .

The art of fault-tolerant system reliability modeling

Ricky W. Butler, Sally C. Johnson, 1990 .

NextGen Far-Term Concept Exploration for Integrated Gate-to-Gate Trajectory-Based Operations

Bryan E. Barmore, Sally C. Johnson, 2016 .

Evaluation of the Trade Space Between UAS Maneuver Performance and SAA System Performance Requirements

Sally C. Johnson, Keith D. Hoffler, Devin P. Jack, 2014 .

ASSIST: User's manual

Sally C. Johnson, David P. Boerschlein, Sally C. Johnson, 1986 .

Overview of the small aircraft transportation system project four enabling operating capabilities

Sally A. Viken, Sally C. Johnson, Frederick M. Brooks, 2006 .