The following pages link to Model Checking Kernel P Systems (Q5404850):
Displaying 10 items.
- Modelling and validating an engineering application in kernel P systems (Q1749168) (← 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)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- (Q5507073) (← 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)