Verifying fault-tolerant behavior of state machines

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 94-99

  Cin, M Dal ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; ERROR ANALYSIS; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS);

FINITE STATE MACHINES;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (15)