The following pages link to (Q4210112):
Displayed 15 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Testing data processing-oriented systems from stream X-machine models (Q944368) (← links)
- Bounded sequence testing from deterministic finite state machines (Q964395) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) (← links)
- Testing based on identifiable P systems using cover automata and X-machines (Q2282267) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- Transforming communicating X-machines into P systems (Q2655499) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) (← links)
- On Testing P Systems (Q5191169) (← links)