Optimization of Lyapunov Invariants in Verification of Software Systems (Q5353144)
From MaRDI portal
scientific article; zbMATH DE number 6771904
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Optimization of Lyapunov Invariants in Verification of Software Systems |
scientific article; zbMATH DE number 6771904 |
Statements
Optimization of Lyapunov Invariants in Verification of Software Systems (English)
0 references
8 September 2017
0 references
