External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl. Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. Volume 57 of EPiC Series in Computing, pages 1-17, EasyChair, 2018. [doi]

Authors

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Sebastian Biewer

This author has not been identified. Look up 'Sebastian Biewer' in Google

Pedro R. D'Argenio

This author has not been identified. Look up 'Pedro R. D'Argenio' in Google

Maximilian A. Köhl

This author has not been identified. Look up 'Maximilian A. Köhl' in Google
runs on