The following pages link to Florentin Ipate (Q204589):
Displayed 50 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Learning finite cover automata from queries (Q414872) (← links)
- An empirical evaluation of P system testing techniques (Q537817) (← 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)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Testing (stream) X-machines (Q1413646) (← links)
- An integrated refinement and testing method for stream X-machines (Q1606072) (← links)
- Further results on generalised communicating P systems (Q1682864) (← links)
- Identifiable kernel \(\mathrm{P}\) systems (Q1709907) (← links)
- Modelling and validating an engineering application in kernel P systems (Q1749168) (← links)
- Complete deterministic stream X-machine testing (Q1764430) (← links)
- Testing conditions for communicating stream \(X\)-machine systems (Q1849557) (← links)
- Search-based testing in membrane computing (Q1983028) (← 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 identifiable kernel P systems using an X-machine approach (Q2328325) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- (Q2816360) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Evolutionary Design of a Simple Membrane System (Q2890292) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- (Q3005247) (← links)
- (Q3018215) (← links)
- (Q3018235) (← links)
- (Q3022296) (← links)
- (Q3022297) (← links)
- An Integrated Approach to P Systems Formal Verification (Q3067494) (← links)
- (Q3070874) (← links)
- FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN (Q3076605) (← links)
- (Q3091338) (← links)
- (Q3095693) (← links)
- (Q3126729) (← links)
- Bounded Sequence Testing from Non-deterministic Finite State Machines (Q3434652) (← links)
- A method for refining and testing generalised machine specifications (Q3838255) (← links)
- (Q4210112) (← links)
- (Q4329016) (← links)
- An integration testing method that is proved to find all faults (Q4340156) (← links)
- (Q4413816) (← links)
- On the Minimality of Stream X-machines (Q4415903) (← links)
- (Q4453204) (← links)
- (Q4803449) (← links)
- (Q4900302) (← links)
- (Q4900328) (← links)