@article{journals/ires/Bench-CaponCCDEFGLV99,
	title = {Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems.},
	author = {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},
	journal = {Inf. Res.},
	number = {3},
	url = {http://dblp.uni-trier.de/db/journals/ires/ires4.html#Bench-CaponCCDEFGLV99},
	volume = {4},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2f9b9c05bcad8415e77b9326440e6e09a/dblp},
	description = {dblp},
	ee = {http://informationr.net/ir/4-3/paper55.html}, date = {2005-04-12},
	keywords = {dblp }
}

@article{journals/stvr/VermesanB95,
	title = {Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.},
	author = {Anca I. Vermesan and Trevor J. M. Bench-Capon},
	journal = {Softw. Test., Verif. Reliab.},
	number = {4},
	pages = {233-271},
	url = {http://dblp.uni-trier.de/db/journals/stvr/stvr5.html#VermesanB95},
	volume = {5},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2fe93526af05f4dcb0aec53f82092fdda/dblp},
	description = {dblp},
	date = {2004-07-27},
	keywords = {dblp }
}

@proceedings{conf/eurovav/1999,
	title = {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},
	booktitle = {EUROVAV},
	editor = {Anca I. Vermesan and Frans Coenen},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2061f5cce2751789dcc7e1a5a0f4eedbe/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-04-17},
	keywords = {dblp }
}

@inproceedings{conf/iwann/Vermesan95,
	title = {A Modular VLSI Architecture for Neural Networks Implementation.},
	author = {O. Vermesan},
	booktitle = {IWANN},
	crossref = {conf/iwann/1995},
	editor = {José Mira and Francisco Sandoval Hernández},
	pages = {794-799},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/iwann/iwann1995.html#Vermesan95},
	volume = {930},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2ca884921c2a206e11021917182a84e21/dblp},
	description = {dblp},
	isbn = {3-540-59497-3}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/SpreeuwenbergG99,
	title = {A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.},
	author = {Silvie Spreeuwenberg and Rik Gerrits},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {67-78},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#SpreeuwenbergG99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/21e15226d788832461c42f15ee42b6585/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/CoenenER99,
	title = {Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions.},
	author = {Frans Coenen and Barry Eaglestone and Mick Ridley},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {297-312},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#CoenenER99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/234147f3b6df35de52ec20761d59d7c9b/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/SteinbergFO99,
	title = {Design Patterns for Safety-critical Knowledge Based Systems.},
	author = {Rune Steinberg and Roar A. Fjellheim and Stale A. Olsen},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {131-145},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#SteinbergFO99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/25045e6539c373ba86a5a8fe396dd422c/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/LaitaRML99,
	title = {Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.},
	author = {Luis M. Laita and Eugenio Roanes-Lozano and Victor Maojo and Luis de Ledesma},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {53-65},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#LaitaRML99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2d0245fe97d3e9fab03713228f282305b/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/VanthienenG99,
	title = {Illustrating Knowledge Base Restructuring and Verification in a Real World Application.},
	author = {Jan Vanthienen and Ana María Moreno García},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {177-191},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#VanthienenG99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/230fd522d68873687642d4466928e4ccb/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}

@inproceedings{conf/eurovav/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},
	booktitle = {EUROVAV},
	crossref = {conf/eurovav/1999},
	editor = {Anca I. Vermesan and Frans Coenen},
	pages = {277-293},
	publisher = {Kluwer},
	url = {http://dblp.uni-trier.de/db/conf/eurovav/eurovav1999.html#VermessanSMB99},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/281288deded19e2db3278390c00f15e45/dblp},
	description = {dblp},
	isbn = {0-7923-8645-0}, date = {2002-01-03},
	keywords = {dblp }
}