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.
@inproceedings{VermessanSMB99,
title = {Verification and Validation in Support for Software Certification Methods},
author = {Anca I. Vermesan and Jarle Sjøvag and Per Martinsen and Keith Bell},
year = {1999},
tags = {certification},
researchr = {https://researchr.org/publication/VermessanSMB99},
cites = {0},
citedby = {0},
pages = {277-293},
booktitle = {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},
editor = {Anca I. Vermesan and Frans Coenen},
publisher = {Kluwer},
isbn = {0-7923-8645-0},
}