Please use this identifier to cite or link to this item: doi:10.22028/D291-48230
Volltext verfügbar? / Dokumentlieferung
Title: Efficient Monitoring of Real Driving Emissions
Author(s): Köhl, Maximilian A.
Hermanns, Holger
Biewer, Sebastian
Language: English
Title: Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
Pages: 299-315
Publisher/Platform: Springer Nature
Year of Publication: 2018
DDC notations: 004 Computer science, internet
Publikation type: Conference Paper
DOI of the first publication: 10.1007/978-3-030-03769-7_17
URL of the first publication: https://link.springer.com/chapter/10.1007/978-3-030-03769-7_17
Link to this record: urn:nbn:de:bsz:291--ds-482307
hdl:20.500.11880/42182
http://dx.doi.org/10.22028/D291-48230
ISBN: 978-3-030-03769-7
Date of registration: 10-Jul-2026
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Professorship: MI - Prof. Dr. Holger Hermanns
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
There are no files associated with this item.


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.