BibSonomy publications for /author/Vermesan http://www.bibsonomy.org/author/Vermesan BibSonomy RSS Feed for /author/Vermesan Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. dblp http://www.bibsonomy.org/bibtex/2f9b9c05bcad8415e77b9326440e6e09a/dblp dblp 2005-04-12T00:00:00+02:00 dblp
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
]]> Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. dblp http://www.bibsonomy.org/bibtex/2fe93526af05f4dcb0aec53f82092fdda/dblp dblp 2004-07-27T00:00:00+02:00 dblp
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
]]> 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 dblp http://www.bibsonomy.org/bibtex/2061f5cce2751789dcc7e1a5a0f4eedbe/dblp dblp 2002-04-17T00:00:00+02:00 dblp
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
]]> A Modular VLSI Architecture for Neural Networks Implementation. dblp http://www.bibsonomy.org/bibtex/2ca884921c2a206e11021917182a84e21/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. dblp http://www.bibsonomy.org/bibtex/21e15226d788832461c42f15ee42b6585/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. dblp http://www.bibsonomy.org/bibtex/234147f3b6df35de52ec20761d59d7c9b/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Design Patterns for Safety-critical Knowledge Based Systems. dblp http://www.bibsonomy.org/bibtex/25045e6539c373ba86a5a8fe396dd422c/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. dblp http://www.bibsonomy.org/bibtex/2d0245fe97d3e9fab03713228f282305b/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Illustrating Knowledge Base Restructuring and Verification in a Real World Application. dblp http://www.bibsonomy.org/bibtex/230fd522d68873687642d4466928e4ccb/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Verification and Validation in Support for Software Certification Methods. dblp http://www.bibsonomy.org/bibtex/281288deded19e2db3278390c00f15e45/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]>