Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Ramírez Martínez, Daniel"  

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      A software tool for verification of Spiking Neural P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ramírez Martínez, Daniel (Springer, 2008)
      The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...