Automated Verification of Stochastic Spiking Neural P Systems

DOI10.1007/978-3-319-28475-0_6zbMath1473.68075OpenAlexW2296390762WikidataQ57936414 ScholiaQ57936414MaRDI QIDQ2789120

Gabriel Ciobanu, Bogdan Aman

Publication date: 26 February 2016

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28475-0_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (1)

Solving subset sum by spiking neural P systems with astrocytes producing calcium

Uses Software

• Uppaal

This page was built for publication: Automated Verification of Stochastic Spiking Neural P Systems