Automated Compliance Verification in ATM using Principles from Ontology Matching.

Audun Vennesland, Joe Gorman, Scott Wilson, Bernd Neumayr, Christoph G. Schuetz

Browse the full IC3K paper archive.