Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Khl

Browse the full LPAR paper archive.