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:4Supported:no
Most recent reference:August 1995

Information on the Bibliography

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

Siemens Austria, PSE
Keywords:
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 ([email protected]) 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

Types:
inproceedings(98), article(41), techreport(14), misc(6), incollection(3), book(2), mastersthesis(1)
Fields:
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!