Checking Completeness of Tests for Finite State Machines (Q5280717)
From MaRDI portal
scientific article; zbMATH DE number 6753279
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking Completeness of Tests for Finite State Machines |
scientific article; zbMATH DE number 6753279 |
Statements
Checking Completeness of Tests for Finite State Machines (English)
0 references
27 July 2017
0 references
