High-assurance systems

Communications of the ACM

Volumn 40, Issue 1, 1997, Pages 67-

  Bhattacharya, Sourav ^a   Onoma, Akira ^a   Bastani, Farokh ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; FAULT TOLERANT COMPUTER SYSTEMS; REAL TIME SYSTEMS; RELIABILITY; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

HIGH ASSURANCE SYSTEMS;

COMPUTER SYSTEMS;

EID: 0030734422     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/242857.242877     Document Type: Article

References (0)