OPAD-EDIFIS real-time processing

SSME HPOTP post-test diagnostic system enhancement project

STS-61 space shuttle mission report

Self-calibrating models for dynamic monitoring and diagnosis

Model-based reconfiguration

Formal methods for verification and validation of partial specifications

Fault analysis of space station DC power systems using neural network adaptive wavelets to detect faults

Thermographic imaging for high-temperature composite materials

Measuring fault tolerance with the FTAPE fault injection tool

A model-based expert system for space power distributio diagnostics

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

An analysis of failure handling in Chameleon, a framework for supporting cost-effective fault tolerant services

A distributed fault-detection and diagnosis system using on-line parameter estimation

Experiences using lightweight formal methods for requirements modeling

Handbook of Optical Metrology

Manual of advanced optics

Introduction to Nonimaging Optics

Interferogram analysis for optical testing

ICONO '98