Efficient Monitoring of Real Driving Emissions

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03769-7_17 ◽

2018 ◽

pp. 299-315 ◽

Cited By ~ 1

Author(s):

Maximilian A. Köhl ◽

Holger Hermanns ◽

Sebastian Biewer