Formal design and verification of a reliable computing platform for real-time control

View on Open Library

Formal design and verification of a reliable computing platform for real-time control

by Ricky W. Butler

No reviews yet

First published: 1992 1 language

Subjects

Architecture (Computers) Computer software Digital Computers Digital electronics Digital systems Electromagnetic interference Fault tolerance Flight control Numerical control Program verification (Computers)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Ricky W. Butler

The Semi-Markov Unreliability Range Evaluator (SURE) program

The Semi-Markov Unreliability Range Eval...

A preliminary transient-fault experiment on the SIFT computer system

A preliminary transient-fault experiment...

Validation of a fault-tolerant clock syn...

The art of fault-tolerant system reliability modeling

The art of fault-tolerant system reliabi...

An introduction to requirements capture using PVS

An introduction to requirements capture ...

The Fault-Tree Compiler (FTC)

The Fault-Tree Compiler (FTC)

You Might Also Like

More in Architecture (Comput...

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Upgrading and repairing PCs

Upgrading and repairing PCs

Scott Mueller

Computer Networks

Computer Networks

Andrew S. Tanenbaum

1977 census of manufactures

1977 census of manufactures

United States. Bureau of the Census

Representing landscapes

Representing landscapes

Nadia Amoroso

Systems Analysis and Design

Systems Analysis and Design

Alan Dennis