An Approach for Designing Knowledge-Based Systems for High-Integrity Applications.

Luke J. W. Martin, Alexander B. Romanovsky

Browse the full EDCC paper archive.