PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD (Q2841997)
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
30 July 2013
0 references
hybrid systems
0 references
hybrid automata
0 references
parameter synthesis
0 references
inverse method
0 references