The Collection of
Computer Science Bibliographies

Bibliography on Validation and Verification of Knowledge-Based Systems

[   About   |  Browse   |   Statistics   ]

Number of references:165Last update:August 26, 1997
Number of online publications:0Supported:no
Most recent reference:August 1995

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Andreas Gartus
Hermann Kaindl <kaih @ oop . geu . siemens . co . at> (email mangled to prevent spamming)
Stefan Kramer

Siemens Austria, PSE
KBS, knowledge based systems, knowledge base, testing, validation, verification
Author Comments:
Please make an acknowledgment if you are using this bibliography in papers, reports, etc.
Comments and contributions to this bibliography are most welcome, and should be mailed to Hermann Kaindl ( with the Subject containing the string "V&V KBS BIB"). If you want to have entries included, please send them in BibTeX format, so that they can be included without further editing.
Disclaimer: Although we plan to update this bibliography at least for a while, we do not give any guarantees about how often we will publish an update, or how long we will make updates at all.

Browsing the bibliography

Bibliographic Statistics

inproceedings(98), article(41), techreport(14), misc(6), incollection(3), book(2), mastersthesis(1)
title(165), year(165), author(160), address(105), booktitle(101), month(92), pages(86), journal(41), volume(34), number(29), editor(25), publisher(20), institution(12), organization(10), type(9), note(7), howpublished(4), key(3), school(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!