Pages that link to "Item:Q987969"
From MaRDI portal
The following pages link to Test generation from P systems using model checking (Q987969):
Displaying 8 items.
- 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)
- 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)
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (Q5404514) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
