Verification of fault tolerance and real time

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1996, Pages 220-229

  Liu, Zhiming ^a   Joseph, Mathai ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEM RECOVERY; ERROR DETECTION; FAILURE ANALYSIS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; REDUNDANCY; STATE ASSIGNMENT;

STATE TRANSFORMATIONS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029702507     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)