A method for refining and testing generalised machine specifications (Q3838255): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Testing Software Design Modeled by Finite-State Machines / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An integration testing method that is proved to find all faults / rank | |||
Normal rank | |||
Latest revision as of 13:35, 28 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A method for refining and testing generalised machine specifications |
scientific article |
Statements
A method for refining and testing generalised machine specifications (English)
0 references
9 August 1998
0 references
stream X-machine
0 references
testing machines
0 references
refinement
0 references
