Assessing Failure Probabilities in Safety-Critical Systems Containing Software

@inproceedings{Thomas:ICSE90,
  author    = {Martyn Thomas},
  title     = {Assessing Failure Probabilities in {Safety-Critical} Systems Containing Software},
  booktitle = {ICSE},
  pages     = {227},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}