EPspectra: a formal toolkit for developing DSP software applications (Q5492051)
From MaRDI portal
scientific article; zbMATH DE number 5063113
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EPspectra: a formal toolkit for developing DSP software applications |
scientific article; zbMATH DE number 5063113 |
Statements
EPspectra: a formal toolkit for developing DSP software applications (English)
0 references
12 October 2006
0 references
real-time application
0 references
ESTEREL
0 references
formal verification
0 references
