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 11 items.
- Modelling and validating an engineering application in kernel P systems (Q1749168) (← links)
- 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)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- Model Checking Kernel P Systems (Q5404850) (← links)
- (Q5507073) (← 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)