Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations

R. Phelps, W. Aerts, J.-M. Forêt. Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. In Jesús Cardeñosa, Pedro Meseguer, editors, 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. pages 293-309, Universidad Politécnica de Madrid, 1993.

Abstract

Abstract is missing.