Pages that link to "Item:Q2413314"
From MaRDI portal
The following pages link to Kernel P systems: from modelling to verification and testing (Q2413314):
Displaying 7 items.
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
- Weighted spiking neural P systems with polarizations and anti-spikes (Q6177119) (← links)
