Numerically-aided Deductive Safety Proof for a Powertrain Control System
Aréchiga, Nikos, Kapinski, James, Deshmukh, Jyotirmoy V., Platzer, André, Krogh, BruceVolume:
317
Language:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2015.10.003
Date:
November, 2015
File:
PDF, 206 KB
english, 2015