Pages that link to "Item:Q5179428"
From MaRDI portal
The following pages link to Testing Non-deterministic Stream X-machine Models and P systems (Q5179428):
Displaying 11 items.
- An empirical evaluation of P system testing techniques (Q537817) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Complete deterministic stream X-machine testing (Q1764430) (← links)
- Testing conditions for communicating stream \(X\)-machine systems (Q1849557) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- (Q3022297) (← links)
- On the Minimality of Stream X-machines (Q4415903) (← links)
- Streaming Property Testing of Visibly Pushdown Languages * (Q4606314) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)