Research Catalog

Details

Additional authors

1. Schneider, Francis.
2. United States. National Aeronautics and Space Administration.

Description

1. 1 v.

Series statement

1. NASA-IVV 97-014

Uniform title

1. NASA contractor report ; NASA CR-207043.

Subject

1. Fault tolerance
2. Functional design specifications
3. Spacecraft control
4. Error detection codes
5. Protocol (Computers)
6. Temporal logic

Call number

1. READEX Microfiche NAS 1.26:207043

Note

1. Shipping list no.: 99-0323-M.

Reproduction (note)

1. Microfiche.

Title

1. Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider ... [et al.].

Imprint

1. Fairmont, W. Va. : NASA IV & V Facility ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]

Series

1. NASA-IVV 97-014
2. NASA contractor report ; NASA CR-207043.

Reproduction

1. Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 1997-207043).

Added author

1. Schneider, Francis.
2. United States. National Aeronautics and Space Administration.

Gpo item no.

1. 0830-H-14 (MF)

Sudoc no.

1. NAS 1.26:207043

Research call number

1. READEX Microfiche NAS 1.26:207043