Research Catalog

Formal methods and their role in digital systems validation for airborne systems

Title
Formal methods and their role in digital systems validation for airborne systems [microform] / John Rushby.
Author
Rushby, John, 1949-
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : Available from the National Technical Information Service, 1995]

Details

Additional Authors
Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 4673
Uniform Title
NASA contractor report ; NASA CR-4673.
Subject
  • Digital systems
  • Mathematical logic
  • Program verification (Computers)
  • Reliability analysis
  • Software engineering
  • Software reliability
Reproduction (note)
  • Microfiche.
Call Number
GPO Microfiche NAS 1.26:4673
OCLC
marcive60705168
Author
Rushby, John, 1949-
Title
Formal methods and their role in digital systems validation for airborne systems [microform] / John Rushby.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : Available from the National Technical Information Service, 1995]
Series
NASA contractor report ; 4673
NASA contractor report ; NASA CR-4673.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995]. 1 microfiche.
Added Author
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:4673
Research Call Number
GPO Microfiche NAS 1.26:4673
View in Legacy Catalog