On the assessment of safety-critical software systems

An introduction to the assessment of safety-critical software systems is presented. Particular attention is given to the role of process models.<<ETX>>