On the Assessment of Safety-Critical Software Systems

@inproceedings{Laprie:ICSE90,
  author    = {Jean{-}Claude Laprie},
  title     = {On the Assessment of {Safety-Critical} Software Systems},
  booktitle = {ICSE},
  pages     = {222},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}