Formal specification of fault-tolerance and its relation to computer security

Volumn , Issue , 1989, Pages 273-277

  Weber, D G ^a  

^a ARCHITECTURE TECHNOLOGY CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--FORMAL LOGIC; COMPUTER SYSTEMS, DIGITAL--FAULT TOLERANT CAPABILITY;

FORMAL SPECIFICATIONS; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE;

EID: 0024861841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/75200.75240     Document Type: Conference Paper

References (11)