Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

DOI10.29007/6zxtzbMath1415.68147OpenAlexW2908151709MaRDI QIDQ5222942

Holger Hermanns, Sebastian Biewer, Maximilian A. Köhl, Pedro R. D'Argenio

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/6zxt

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Symbolic runtime verification for monitoring under uncertainties and assumptions ⋮ Unnamed Item

This page was built for publication: Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions