Login / Signup
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.
Holger Hermanns
Sebastian Biewer
Pedro R. D'Argenio
Maximilian A. Köhl
Published in:
LPAR (2018)
Keyphrases
</>
diesel engine
formal verification
monitoring system
test generation
symbolic execution
test cases
neural network
real time
electric power
test set
model checking
software testing
signature verification
information systems
formal methods
greenhouse gases