Numerically-aided deductive safety proof for a powertrain control system (Q2520674)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerically-aided deductive safety proof for a powertrain control system |
scientific article |
Statements
Numerically-aided deductive safety proof for a powertrain control system (English)
0 references
16 December 2016
0 references
cyber-physical system
0 references
hybrid system
0 references
verification
0 references
safety property
0 references
