Ontology-based Railway Infrastructure Verification - Planning Benefits.

Michael Lodemann, Norbert Luttenberger

Browse the full IC3K paper archive.