Pages that link to "Item:Q987969"
From MaRDI portal
The following pages link to Test generation from P systems using model checking (Q987969):
Displaying 13 items.
- An empirical evaluation of P system testing techniques (Q537817) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN (Q3076605) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Model Checking Using Generalized Testing Automata (Q4909350) (← 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)
- Towards a general methodology for formal verification on spiking neural P systems (Q6590079) (← links)