Validating requirements for fault tolerant systems using model checking

Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider [and others]

Saved in:
Bibliographic Details
Corporate Author: United States. National Aeronautics and Space Administration
Other Authors: Schneider, Francis
Format: Government Document Microfilm Book
Language:English
Published: Fairmont, W. Va. : [Washington, DC] : [Springfield, Va.] : NASA IV & V Facility ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], [1997]
Series:NASA contractor report ; NASA CR-207043.
NASA-IVV ; 97-014.
Subjects:
Fault tolerance.
Functional design specifications.
Spacecraft control.
Error detection codes.
Protocol (Computers)
Temporal logic.

MARC

LEADER 00000nam a22000007a 4500
001 b2950154
003 CoU
005 19990715093304.0
007 he ||||||||||
008 990715s1997 wvu b f000 0 eng d
035 |a (OCoLC)ocm41880770 
035 |a tmp97144229 
037 |a 19980016987  |b NASA 
040 |a GPO  |c GPO  |d DLC  |d MvI 
049 |a COD9 
074 |a 0830-H-14 (MF) 
086 0 |a NAS 1.26:207043 
086 0 |a NAS 1.26:207043 
245 0 0 |a Validating requirements for fault tolerant systems using model checking  |h [microform] /  |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 1 |a NASA-IVV ;  |v 97-014. 
500 |a Shipping list number: 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.  |0 http://id.loc.gov/authorities/names/n95110018  |1 http://isni.org/isni/0000000055500572. 
710 1 |a United States.  |b National Aeronautics and Space Administration.  |0 http://id.loc.gov/authorities/names/n78087581  |1 http://isni.org/isni/0000000449071619. 
830 0 |a NASA contractor report ;  |v NASA CR-207043.  |0 http://id.loc.gov/authorities/names/n83825229. 
830 0 |a NASA-IVV ;  |v 97-014. 
907 |a .b29501544  |b 03-19-20  |c 04-11-99 
998 |a gov  |b 08-25-99  |c -  |d m   |e -  |f eng  |g wvu  |h 0  |i 1 
907 |a .b29501544  |b 05-08-19  |c 04-11-99 
944 |a MARS - RDA ENRICHED 
907 |a .b29501544  |b 01-13-09  |c 04-11-99 
907 |a .b29501544  |b 01-03-03  |c 04-11-99 
999 f f |i 926e4b32-b073-5cb9-8d8d-ed07d022e679  |s 9fa7da65-8215-5450-a361-6607fbd83446 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Boulder Campus  |c Norlin  |d Norlin Library - Government Information - Microform  |e NAS 1.26:207043  |h Superintendent of Documents classification  |i document  |n 1 

Similar Items