2. EUROVAV 1993: Palma de Mallorca, Spain

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
a service of Schloss Dagstuhl - Leibniz Center for Informatics