- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA-IVV 97-014
- Uniform Title
- NASA contractor report ; NASA CR-207043.
- Subject
- Note
- Shipping list no.: 99-0323-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:207043
- OCLC
- marcive41880770
- Title
Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider ... [et al.].
- Imprint
Fairmont, W. Va. : NASA IV & V Facility ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
- Series
NASA-IVV 97-014
NASA contractor report ; NASA CR-207043.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1998] 1 microfiche. (NASA/CR ; 1997-207043).
- Added Author
Schneider, Francis.
United States. National Aeronautics and Space Administration.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:207043
- Research Call Number
READEX Microfiche NAS 1.26:207043