NASA Langley's research and technology-transfer program in formal methods

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1995, Pages 135-149

  Butler, Ricky W ^a   Caldwell, James L ^a   Carreno, Victor A ^a   Holloway, C Michael ^a   Miner, Paul S ^a   Di Vito, Ben L ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE APPLICATIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DIGITAL COMPUTERS; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; TECHNOLOGY TRANSFER;

FORMAL METHODS; RESEARCH PROGRAM;

COMPUTER SOFTWARE;

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

References (72)