Work

The Proof of Correctness of a Fault-Tolerant Circuit Design

Year: 1992

Type: book-chapter

Source: Dependable computing and fault-tolerant systems

DOI: 10.1007/978-3-7091-9198-9_12

Authors: William R. Bevier, William D. Young

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1757345563

FWCI: 8.817

Cites: 8

Cited by: 23

Related to: 10