The following pages link to (Q3005247):
Displaying 10 items.
- 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)
- Finite state based testing of P systems (Q2655491) (← 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)
- (Q4782092) (← links)
- Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) (← links)