Testing Non-deterministic Stream X-machine Models and P systems (Q5179428)
From MaRDI portal
scientific article; zbMATH DE number 6417441
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing Non-deterministic Stream X-machine Models and P systems |
scientific article; zbMATH DE number 6417441 |
Statements
Testing Non-deterministic Stream X-machine Models and P systems (English)
0 references
19 March 2015
0 references
testing
0 references
correctness
0 references
X-machines
0 references
P systems
0 references
finite-state machines
0 references
nondeterminism
0 references
