Toward integrated methods for high-assurance systems

Computer

Volumn 31, Issue 4, 1998, Pages 32-34

  Yen, I Ling ^a   Paul, Raymond ^a   Mori, Kinji ^a  

^a UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AUTOMATION; AVAILABILITY; COMPUTER CONTROL; DATA COMMUNICATION SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; RELIABILITY; SECURITY OF DATA; SEQUENTIAL MACHINES;

HIGH ASSURANCE SYSTEMS (HAS);

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0032046684     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.666840     Document Type: Article

References (1)