FM 2005: Formal Methods (Q5716875)
From MaRDI portal
scientific article; zbMATH DE number 2245844
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FM 2005: Formal Methods |
scientific article; zbMATH DE number 2245844 |
Statements
FM 2005: Formal Methods (English)
0 references
10 January 2006
0 references
Model-based on-the-fly Testing
0 references
Timed Automata
0 references
Real-Time Testing
0 references
TorX
0 references
Tools
0 references
