Constructing Test Automata from Graphical Real-Time Requirements (Q5392302)
From MaRDI portal
scientific article; zbMATH DE number 5876528
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructing Test Automata from Graphical Real-Time Requirements |
scientific article; zbMATH DE number 5876528 |
Statements
Constructing Test Automata from Graphical Real-Time Requirements (English)
0 references
8 April 2011
0 references
