-
1
Semiannual project report submitted to the National Aeronautics and Space Administration, Langley Research Center, Hampton, Va. for research entitled experiments in fault tolerant...
[Washington, D.C.] : [Springfield, Va.] : [National Aeronautics and Space Administration] ; [National Technical Information Service], 1987Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
A modular electric power system test bed for small spacecraft
[Washington, DC] : [Springfield, Va.] : National Aeronautics and Space Administration ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
A new merit function for evaluating the flaw tolerance of composite laminates
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1995Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
In-circuit fault injector user's guide
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [For sale by the National Technical Information Service], 1987Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
A dual-processor multi-frequency implementation of the finds algorithm
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [For sale by the National Technical Information Service], 1987Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
The implementation and use of Ada on distributed systems with high reliability requirements : semi-annual report, grant no. NAG-1-206, March 5, 1982 - February 14, 1988
Charlottesville, Va. : [Washington, DC] : [Springfield, Va.] : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1987Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
FTAPE : a fault injection tool to measure fault tolerance
[Washington, D.C.?] : Springfield, Va. : American Institute of Aeronautics and Astronautics : National Aeronautics and Space Administration ; National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Minimal time change detection algorithm for reconfigurable control system and application to aerospace
[Los Angeles, Calif.] : [Washington, DC] : [Springfield, Va.] : [University of California] ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
9
Research and technology goals and objectives for Integrated Vehicle Health Management (IVHM).
Washington, DC : [Springfield, Va.] : Office of Aeronautics and Space Technology, National Aeronautics and Space Administration ; [National Technical Information Service, distributor], 1992Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
10
Validating requirements for fault tolerant systems using model checking
Fairmont, W. Va. : [Washington, DC] : [Springfield, Va.] : NASA IV & V Facility ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1997Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
11
HiRel : hybrid automated reliability predictor (HARP) integrated reliability tool system (version 7.0) : HARP graphics oriented (GO) input user's guide
[Hampton, Va.] : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
12
[Advanced development for space robotics with emphasis on fault tolerance technology] : [final report].
[Washington, DC] : [Springfield, Va.] : [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1997Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
13
Design and implementation of replicated object layer
[Washington, DC] : [Springfield, Va.] : National Aeronautics and Space Administration ; [National Technical Information Service, distributor], 1996Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
14
Advanced information processing system : hosting of advanced guidance, navigation and control algorithms on AIPS using ASTER
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
15
Advanced information processing system : authentication protocols for network communication
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
16
Formal design and verification of a reliable computing platform for real-time control : phase 3 results
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
17
Architecture and performance analysis of DIRSMIN : a fault-tolerant switch using dilated reduced-stage MIN
Hampton, VA : [Springfield, Va.] : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [National Technical Information Service, distributor], 1995Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
18
Software dependability in the operational phase
[Urbana, Illinois] : [Washington, DC] : [Springfield, Va.] : Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
19
Stability and error estimation for component adaptive grid methods
[Moffett Field, Calif.] : [Springfield, Va.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [National Technical Information Service, distributor], 1994Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
20
Integrated analysis of error detection and recovery
Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1985Format: Government Document Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>