KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/IR/1000038061

Using a Context Knowledge Base for the Verification of Vehicle Test Processes

Mrasek, Richard; Mülle, Jutta; Böhm, Klemens



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht
Jahr 2014
Sprache Englisch
Identifikator ISSN: 2190-4782
URN: urn:nbn:de:swb:90-380617
KITopen-ID: 1000038061
Verlag Karlsruhe
Serie Karlsruhe Reports in Informatics ; 2014,2
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page