The following pages link to (Q4418606):
Displayed 9 items.
- Bounded sequence testing from deterministic finite state machines (Q964395) (← links)
- Testing based on identifiable P systems using cover automata and X-machines (Q2282267) (← links)
- More on deterministic and nondeterministic finite cover automata (Q2357103) (← links)
- Time window temporal logic (Q2402278) (← 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)
- Hyper-minimisation Made Efficient (Q3182939) (← links)
- On Testing P Systems (Q5191169) (← links)