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.

Numerically-aided Deductive Safety Proof for a Powertrain Control System

Nikos Arechiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh. Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electronic Notes in Theoretical Computer Science, 317:19-25, 2015. [doi]

Authors

Nikos Arechiga

This author has not been identified. Look up 'Nikos Arechiga' in Google

James Kapinski

This author has not been identified. Look up 'James Kapinski' in Google

Jyotirmoy V. Deshmukh

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google

André Platzer

This author has not been identified. Look up 'André Platzer' in Google

Bruce H. Krogh

This author has not been identified. Look up 'Bruce H. Krogh' in Google
runs on