Pages that link to "Item:Q964395"
From MaRDI portal
The following pages link to Bounded sequence testing from deterministic finite state machines (Q964395):
Displaying 7 items.
- Learning finite cover automata from queries (Q414872) (← links)
- Testing based on identifiable P systems using cover automata and X-machines (Q2282267) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (Q5404514) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)