The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Bibliography on Validation and Verification of Knowledge-Based Systems

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

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 (kaih@oop.geu.siemens.co.at) 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

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.