|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
1a64eb39-7415-4bc0-a78d-facd3d04bdf8 |
| 005 |
20240705000000.0 |
| 008 |
990715s1997 wvu b f000 0 eng d |
| 035 |
|
|
|a (OCoLC)41880770
|
| 037 |
|
|
|a 19980016987
|b NASA
|
| 040 |
|
|
|a GPO
|c GPO
|d DLC
|d MvI
|
| 049 |
|
|
|a [MF] MNUJ
|
| 074 |
|
|
|a 0830-H-14 (MF)
|
| 086 |
0 |
|
|a NAS 1.26:207043
|
| 099 |
|
|
|a NAS 1.26:207043
|
| 245 |
0 |
0 |
|a Validating requirements for fault tolerant systems using model checking /
|c Francis Schneider [and others].
|
| 260 |
|
|
|a Fairmont, W. Va. :
|b NASA IV & V Facility ;
|a [Washington, DC] :
|b [National Aeronautics and Space Administration] ;
|a [Springfield, Va.] :
|b [National Technical Information Service, distributor],
|c [1997]
|
| 300 |
|
|
|a 1 volume
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a microform
|b h
|2 rdamedia
|
| 338 |
|
|
|a microfiche
|b he
|2 rdacarrier
|
| 490 |
0 |
|
|a NASA-IVV
|v 97-014
|
| 500 |
|
|
|a Shipping list no.: 99-0323-M.
|
| 533 |
|
|
|a Microfiche.
|b [Washington, D.C. :
|c National Aeronautics and Space Administration,
|d 1998]
|e 1 microfiche.
|f (NASA/CR ; 1997-207043).
|
| 650 |
|
7 |
|a Fault tolerance.
|2 nasat
|
| 650 |
|
7 |
|a Functional design specifications.
|2 nasat
|
| 650 |
|
7 |
|a Spacecraft control.
|2 nasat
|
| 650 |
|
7 |
|a Error detection codes.
|2 nasat
|
| 650 |
|
7 |
|a Protocol (Computers)
|2 nasat
|
| 650 |
|
7 |
|a Temporal logic.
|2 nasat
|
| 700 |
1 |
|
|a Schneider, Francis.
|
| 710 |
1 |
|
|a United States.
|b National Aeronautics and Space Administration
|
| 830 |
|
0 |
|a NASA contractor report ;
|v NASA CR-207043.
|
| 999 |
1 |
0 |
|i 1a64eb39-7415-4bc0-a78d-facd3d04bdf8
|l 9957976400001701
|s US-MNU
|m validating_requirements_for_fault_tolerant_systems_using_model_checkin_____1997_______nasaia___________________________________________________________________________nas_1_26_207043p
|