ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Transition diagram"
Mostrando ítems 1-1 de 1
-
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...