Pages that link to "Item:Q2789127"
From MaRDI portal
The following pages link to An Integrated Model Checking Toolset for Kernel P Systems (Q2789127):
Displaying 8 items.
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME (Q2975920) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
