Localizing Faults in Simulink/Stateflow Models with STL (Q4561453)
From MaRDI portal
scientific article; zbMATH DE number 6989696
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Localizing Faults in Simulink/Stateflow Models with STL |
scientific article; zbMATH DE number 6989696 |
Statements
Localizing Faults in Simulink/Stateflow Models with STL (English)
0 references
6 December 2018
0 references
