On the assessment of safety-critical software systems

• Authors:

• J.-C. Laprie

• Affiliations:

• LAAS-CNRS, 7, Avenue du Colonel Roche, 31400 Toulouse, France

• Venue:
• ICSE '90 Proceedings of the 12th international conference on Software engineering
• Year:
• 1990