Toward dependable safety-critical software

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1996, Pages 86-92

  Bastani, Farokh ^a   Cukic, Bojan ^a   Hilford, Victoria ^a   Jamoussi, Anouar ^a  

^a UNIVERSITY OF HOUSTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; PROCESS CONTROL; RELIABILITY;

BACKUP VERSION; MEASURED ASSURANCE PREDICTION SYSTEM; SAFETY CRITICAL SOFTWARE;

COMPUTER SOFTWARE;

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

References (25)