The Resource Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems, John Rushby, (microform)

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems, John Rushby, (microform)

Label
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
Title
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
Statement of responsibility
John Rushby
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GP1
http://library.link/vocab/creatorDate
1949-
http://library.link/vocab/creatorName
Rushby, John
Funding information
Prepared for Langley Research Center.
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • United States
  • SRI International
  • Langley Research Center
Series statement
NASA contractor report
Series volume
4384
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Flight control
Label
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems, John Rushby, (microform)
Instantiates
Publication
Note
  • "SRI International."
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-0371-M
Bibliography note
Includes bibliographical references (pages 53-58)
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
27718115
Dimensions
28 cm
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
v, 124 pages
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
Other physical details
illustrations
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1578975
Label
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems, John Rushby, (microform)
Publication
Note
  • "SRI International."
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 92-0371-M
Bibliography note
Includes bibliographical references (pages 53-58)
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
27718115
Dimensions
28 cm
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
v, 124 pages
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
Other physical details
illustrations
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1578975

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...