Machine checked proofs of the design and implementation of a fault-tolerant circuit

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/29540593#Topic/failure_analysis
http://experiment.worldcat.org/entity/work/data/29540593#Topic/computer_design
http://id.loc.gov/authorities/subjects/sh85047488
http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerant_computing
http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerance
http://id.worldcat.org/fast/921988
http://experiment.worldcat.org/entity/work/data/29540593#Topic/systems_analysis

http://schema.org/contributor

http://viaf.org/viaf/127305149
http://experiment.worldcat.org/entity/work/data/29540593#Organization/langley_research_center
http://id.loc.gov/authorities/names/n78087581
http://experiment.worldcat.org/entity/work/data/29540593#Organization/computational_logic_inc
http://id.loc.gov/authorities/names/n79134855
http://worldcat.org/entity/person/id/2630175991
http://experiment.worldcat.org/entity/work/data/29540593#Organization/united_states_national_aeronautics_and_space_administration
http://viaf.org/viaf/146202023

http://schema.org/creator

http://worldcat.org/entity/person/id/2682326974

http://schema.org/name

"Machine checked proofs of the design and implementation of a fault-tolerant circuit"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/31406579
http://www.worldcat.org/oclc/892312312
http://www.worldcat.org/oclc/27160107

Computational Logic, Inc.

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Computational Logic, Inc."

http://experiment.worldcat.org/entity/work/data/29540593#Organization/computational_logic_inc

Langley Research Center.

rdf:type
http://schema.org/Organization
schema:name
"Langley Research Center."

http://experiment.worldcat.org/entity/work/data/29540593#Organization/langley_research_center

United States. National Aeronautics and Space Administration.

rdf:type
http://schema.org/Organization
schema:name
"United States. National Aeronautics and Space Administration."

http://experiment.worldcat.org/entity/work/data/29540593#Organization/united_states_national_aeronautics_and_space_administration

COMPUTER DESIGN.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"COMPUTER DESIGN."

http://experiment.worldcat.org/entity/work/data/29540593#Topic/computer_design

FAILURE ANALYSIS.

rdf:type
http://schema.org/Topic
schema:name
"FAILURE ANALYSIS."

http://experiment.worldcat.org/entity/work/data/29540593#Topic/failure_analysis

FAULT TOLERANCE.

rdf:type
http://schema.org/Topic
schema:name
"FAULT TOLERANCE."

http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerance

Fault-tolerant computing.

rdf:type
http://schema.org/Topic
schema:name
"Fault-tolerant computing."

http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerant_computing

SYSTEMS ANALYSIS.

rdf:type
http://schema.org/Topic
schema:name
"SYSTEMS ANALYSIS."