| 1999 |
|---|
| 8 | | Anca I. Vermesan,
Frans Coenen:
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
Kluwer 1999 |
| 7 | | Anca I. Vermesan,
Jarle Sjøvag,
Per Martinsen,
Keith Bell:
Verification and Validation in Support for Software Certification Methods.
EUROVAV 1999: 277-293 |
| 6 | | Anca I. Vermesan,
Frode Høgberg:
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment.
EUROVAV 1999: 343-357 |
| 5 | EE | Trevor J. M. Bench-Capon,
D. Castelli,
Frans Coenen,
L. Devendeville-Brisoux,
Barry Eaglestone,
N. J. Fiddian,
W. A. Gray,
Antoni Ligeza,
Anca I. Vermesan:
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
Inf. Res. 4(3): (1999) |
| 1998 |
|---|
| 4 | | Anca I. Vermesan:
Software Certification for Industry - Verification and Validation Issues in Expert Systems.
DEXA Workshop 1998: 3-14 |
| 1997 |
|---|
| 3 | | Anca I. Vermesan:
Knowledge-Based Systems: Verification and Validation in the view of Certification.
EUROVAV 1997: 71-82 |
| 1995 |
|---|
| 2 | | Anca I. Vermesan,
Sigurd Meldal:
An Algebraic Approach to Refinement of KBS Specification.
EUROVAV 1995: 265-276 |
| 1 | | Anca I. Vermesan,
Trevor J. M. Bench-Capon:
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.
Softw. Test., Verif. Reliab. 5(4): 233-271 (1995) |
