Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems

This publication has 5 references indexed in Scilit:

• Hazard identification in programmable system
  ACM SIGAPP Applied Computing Review, 1994
• The special problems of military systems
  Microprocessors and Microsystems, 1993
• Practical results from measuring software quality
  Communications of the ACM, 1993
• Safety-critical systems, formal methods and standards
  Software Engineering Journal, 1993
• Analyzing Software Safety
  IEEE Transactions on Software Engineering, 1983