3. EUROVAV 1995: Chambery, France

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