Research Catalog

NASA Formal Methods Workshop 1990 proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990

Title
NASA Formal Methods Workshop 1990 [microform] : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990 / compiled by Ricky W. Butler.
Author
NASA Formal Methods Workshop (1990 : Langley Research Center)
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1990]

Details

Additional Authors
  • Butler, Ricky W.
  • United States. National Aeronautics and Space Administration.
  • Langley Research Center.
Description
1 v. (various pagings) : ill.; 28 cm.
Series Statement
NASA conference publication ; 10052
Subject
  • Fault-tolerant computing > Congresses
  • System design > Congresses
  • System analysis > Congresses
  • Automatic control > Data processing > Congresses
  • Avionics
  • Conferences
  • Control systems design
  • Digital systems
  • Fault tolerance
  • Flight control
  • Logic design
Note
  • Cover title.
  • Distributed to depository libraries in microfiche.
  • "November 1990."
Bibliography (note)
  • Includes bibliographical references.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.55:10052
OCLC
marcive29449344
Conference
NASA Formal Methods Workshop (1990 : Langley Research Center)
Title
NASA Formal Methods Workshop 1990 [microform] : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990 / compiled by Ricky W. Butler.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1990]
Series
NASA conference publication ; 10052
Bibliography
Includes bibliographical references.
Funding
505-66-21-01.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1991] 6 microfiches.
Added Author
Butler, Ricky W.
United States. National Aeronautics and Space Administration.
Langley Research Center.
Gpo Item No.
0830-H-55 (MF)
Sudoc No.
NAS 1.55:10052
Research Call Number
READEX Microfiche NAS 1.55:10052
View in Legacy Catalog