Verification and Validation in Support for Software Certification Methods

Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell. Verification and Validation in Support for Software Certification Methods. In Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. pages 277-293, Kluwer, 1999.

Authors

Anca I. Vermesan

This author has not been identified. Look up 'Anca I. Vermesan' in Google

Jarle Sjøvag

This author has not been identified. Look up 'Jarle Sjøvag' in Google

Per Martinsen

This author has not been identified. Look up 'Per Martinsen' in Google

Keith Bell

This author has not been identified. Look up 'Keith Bell' in Google