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

2. EUROVAV 1993: Palma de Mallorca, Spain

Jesús Cardeñosa, Pedro Meseguer (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. Universidad Politécnica de Madrid 1993, ISBN 84-604-5817-2 BibTeX
@proceedings{DBLP:conf/eurovav/1993,
  editor    = {Jes{\'u}s Carde{\~n}osa and
               Pedro Meseguer},
  title     = {Proceedings of the European Symposium on the Validation and Verification
               of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad
               de las Islas Baleares, Palma de Mallorca, Spain},
  booktitle = {EUROVAV},
  publisher = {Universidad Polit{\'e}cnica de Madrid},
  year      = {1993},
  isbn      = {84-604-5817-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Guest Papers

ESPRIT Projects on Validation

Validation Methods and Techniques

Knowledge Modelling and Validation

Formal Approaches to Validation

Validation and Machine Learning

Industrial Approaches to Validation

Acknowlegement: The information on this page was contributed by Hendrik Decker

Copyright © Sat May 16 23:11:28 2009 by Michael Ley (ley@uni-trier.de)