Pages that link to "Item:Q1749168"
From MaRDI portal
The following pages link to Modelling and validating an engineering application in kernel P systems (Q1749168):
Displaying 4 items.
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- An illustration of verification and validation in the modelling phase of KBS development (Q4224418) (← links)
- Model Checking Kernel P Systems (Q5404850) (← links)