Techniques for verification and validation of safety-related software

• Authors:

• CORPORATE EWICS

• Affiliations:

• European Workshop on Industrial Computers Systems) COMMITTEE TC 7 SYSTEMS RELIABILITY, SAFETY, AND SECURITY

• Venue:
• Computers and Standards
• Year:
• 1985