A comparison of static analysis and evolutionary testing for the verification of timing constraints (Q5959752)
From MaRDI portal
scientific article; zbMATH DE number 1726735
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A comparison of static analysis and evolutionary testing for the verification of timing constraints |
scientific article; zbMATH DE number 1726735 |
Statements
A comparison of static analysis and evolutionary testing for the verification of timing constraints (English)
0 references
11 April 2002
0 references
real-time systems
0 references
static timing analysis
0 references
genetic algorithms
0 references
