Pages that link to "Item:Q1983014"
From MaRDI portal
The following pages link to Spiking neural P systems: matrix representation and formal verification (Q1983014):
Displaying 6 items.
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Dynamic threshold P systems with delay on synapses for shortest path problems (Q2152438) (← links)
- A web-based visual simulator for spiking neural P systems (Q6135708) (← links)
- Languages generated by numerical P systems with thresholds (Q6150680) (← links)
- A key agreement protocol based on spiking neural P systems with anti-spikes (Q6177122) (← links)
- Spiking neural P systems and their semantics in Haskell (Q6177187) (← links)
