Safety analysis tools for requirements specifications

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 149-160

  Ratan, Vivek ^a   Partridge, Kurt ^a   Reese, Jon ^a   Leveson, Nancy ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAILURE ANALYSIS;

AUTOMATED HIGHWAY SYSTEM (AHS); HAZARD ANALYSIS; REQUIREMENTS STATE MACHINE LANGUAGE (RSML); SAFETY ANALYSIS TOOLS; SOFTWARE SAFETY;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (13)