Verification and Validation in Support for Software Certification Methods

• Authors:

• Anca I. Vermesan;Jarle Sjøvag;Per Martinsen;Keith Bell

• Affiliations:

• -;-;-;-

• Venue:
• EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
• Year:
• 1999