Work

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

Year: 1983

Type: article

Source: NASA Technical Reports Server (NASA)

Authors: Karl Levitt, Richard L. Schwartz, Dwight F. Hare, J. S. Moore, P. M. Melliar‐Smith, Robert E. Shostak, R. S. Boyer, M. W. Green, W. D. Elliott

Institution: SRI International

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W184270447

FWCI: 1.853

Cites:

Cited by: 5

Related to: 10