Peer review of a formal verification/design proof methodology View on Open Library

Peer review of a formal verification/design proof methodology

by Langley Research Center

No reviews yet
First published: 1985 1 language
Subjects
Fault-tolerant computing Congresses Verification System design Computer software

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Langley Research Center

Vehicle technology for civil aviation: the seventies and beyond

Vehicle technology for civil aviation: t...

Lunar orbiter I

Lunar orbiter I

Earth radiation budget science, 1978

Earth radiation budget science, 1978

Assessment of techniques for measuring tropospheric NxOy

Assessment of techniques for measuring t...

Status of passive inflatable falling-sphere technology for atmospheric sensing to 100 km

Status of passive inflatable falling-sph...

Aerodynamic analyses requiring advanced computers

Aerodynamic analyses requiring advanced ...

You Might Also Like

More in Fault-tolerant compu...
Foundations of Dependable Computing

Foundations of Dependable Computing

Gary M. Koob
Dependable Computing

Dependable Computing

Ravishankar K. Iyer
Quantum Error Correction and Fault Tolerant Quantum Computing

Quantum Error Correction and Fault Toler...

Frank Gaitan
Fault Tolerant Attitude Estimation for Small Satellites

Fault Tolerant Attitude Estimation for S...

Chingiz Hajiyev
Delay and Disruption Tolerant Networks

Delay and Disruption Tolerant Networks

Aloizio Pereira da Silva
Open Systems Dependability

Open Systems Dependability

Mario Tokoro