Pages that link to "Item:Q2432227"
From MaRDI portal
The following pages link to Testing methods for X-machines: a review (Q2432227):
Displaying 11 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Testing data processing-oriented systems from stream X-machine models (Q944368) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Testing (stream) X-machines (Q1413646) (← 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)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- Evaluation and Comparison of Inferred Regular Grammars (Q3528425) (← links)
- Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) (← links)