Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider ... [et al.] (NASA-IVV 97-014)

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

(NASA-IVV 97-014)

Notes on use

Note (General)：: Shipping list no.: 99-0323-MPhysical description for original version: 1 v

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider ... [et al.]
Series Title: NASA-IVV 97-014
Title Heading: NASA contractor report ; NASA CR-207043
Author Heading: Schneider, Francis
United States. National Aeronautics and Space Administration
Publication Date (W3CDTF): 1997
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Fault tolerance
Functional design specifications
Spacecraft control
Error detection codes
Protocol (Computers)
Temporal logic
Note (General): Shipping list no.: 99-0323-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: Fairmont, W. Va. ; [Washington, DC ; Springfield, Va. : NASA IV & V Facility : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]
SUPTDOC番号: NAS 1.26: 207043
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:207043
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006624863
http://id.ndl.go.jp/bib/000006624863
OCLC No.: 41880770
https://www.worldcat.org/oclc/41880770
Bibliographic Record Category (NDL): 281