On the Assessment of Safety-Critical Software Systems

Jean-Claude Laprie. On the Assessment of Safety-Critical Software Systems. In ICSE. pages 222, 1990.