Work

FERRARI: a tool for the validation of system dependability properties

Year: 1992

Type: conference-paper

Source: IEEE International Symposium on Fault-Tolerant Computing

DOI: 10.1109/ftcs.1992.243567

Authors: G.A. Kanawati, N.A. Kanawati, J.A. Abraham

Institution: The University of Texas at Austin

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: W2124164102

FWCI: 6.744

Cites: 15

Cited by: 238

Related to: 10