Media type: E-Book Title: Using a Context Knowledge Base for the Verification of Vehicle Test Processes Contributor: Mrasek, Richard [Author]; Mülle, Jutta [Other]; Böhm, Klemens [Other] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2014,2 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 16-17 Access State: Open Access