Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (Q3172874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method |
scientific article |
Statements
Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (English)
0 references
7 October 2011
0 references