No label defined (Q3022296)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 2182429 |
scientific article; zbMATH DE number 2182429
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2182429 |
Statements
23 June 2005
0 references
Finite state machines
0 references
testing
0 references
test generation
0 references
verification
0 references
\(W\)-method
0 references
0.8657656908035278
0 references
0.7635886669158936
0 references
0.7466431856155396
0 references
0.7466431856155396
0 references
0.737465500831604
0 references
