Login / Signup
A software tool for verification of Spiking Neural P Systems.
Miguel A. Gutiérrez-Naranjo
Mario J. Pérez-Jiménez
Daniel Ramírez-Martínez
Published in:
Nat. Comput. (2008)
Keyphrases
</>
neural network
bio inspired
distributed systems
learning rules
database
management system
building blocks
automated verification
databases
information retrieval
computer vision
image sequences
computer systems
learning systems