Framework for designing safe software systems

Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

Volumn , Issue , 1995, Pages 409-414

  Subramanian, Satish ^a   Vishnuvajjala, Ramakrishna V ^a   Mojdehbakhsh, Ramin ^a   Tsai, W T ^a   Elliot, Lynn ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FAILURE ANALYSIS; SYSTEMS ANALYSIS;

DESIGN SAFETY VERIFICATION; FAULT TREE VERIFICATION; SAFE SOFTWARE DESIGN; SOFTWARE DESIGN FAULT TREE GENERATION;

SOFTWARE ENGINEERING;

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

References (11)