Bibsonomy :: author  ::

bookmarks

publications

(30)

• Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.
  Trevor J. M. Bench-Capon and D. Castelli and Frans Coenen and L. Devendeville-Brisoux and Barry Eaglestone and N. J. Fiddian and W. A. Gray and Antoni Ligeza and Anca I. Vermesan Inf. Res. 4 (1999)
  to dblp by dblp on 2005-04-12 00:00:00
  | URL | BibTeX  
• Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.
  Anca I. Vermesan and Trevor J. M. Bench-Capon Softw. Test., Verif. Reliab. 5 233-271 (1995)
  to dblp by dblp on 2004-07-27 00:00:00
  | URL | BibTeX  
• 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
  Anca I. Vermesan and Frans Coenen (eds.). EUROVAV (1999)
  to dblp by dblp on 2002-04-17 00:00:00
  | URL | BibTeX  
• A Modular VLSI Architecture for Neural Networks Implementation.
  O. Vermesan IWANN 794-799 (1995)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.
  Silvie Spreeuwenberg and Rik Gerrits EUROVAV 67-78 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions.
  Frans Coenen and Barry Eaglestone and Mick Ridley EUROVAV 297-312 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Design Patterns for Safety-critical Knowledge Based Systems.
  Rune Steinberg and Roar A. Fjellheim and Stale A. Olsen EUROVAV 131-145 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.
  Luis M. Laita and Eugenio Roanes-Lozano and Victor Maojo and Luis de Ledesma EUROVAV 53-65 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Illustrating Knowledge Base Restructuring and Verification in a Real World Application.
  Jan Vanthienen and Ana María Moreno García EUROVAV 177-191 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Verification and Validation in Support for Software Certification Methods.
  Anca I. Vermesan and Jarle Sjøvag and Per Martinsen and Keith Bell EUROVAV 277-293 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX