dblp.uni-trier.de www.uni-trier.de

3. EUROVAV 1995: Chambery, France

Marc Ayel, Marie-Christine Rousset (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995. ADERIAS-LIA, Universite de Savoie 1995 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/eurovav/1995,
  editor    = {Marc Ayel and
               Marie-Christine Rousset},
  title     = {Proceedings of the European Symposium on the Validation and Verification
               of Knowledge-Based Systems, EUROVAV '95, Chamb{\'e}ry, June
               1995},
  booktitle = {EUROVAV},
  publisher = {ADERIAS-LIA, Universite de Savoie},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Testing

Behavior Verification

Knowledge Engineering

Correctness Verification

Revision and Debugging

Knowledge Modelling and Validation

Acknowlegement: The information on this page were contributed by Hendrik Decker and Marc Ayel

Copyright © Mon Nov 2 20:35:32 2009 by Michael Ley (ley@uni-trier.de)