دورية أكاديمية
Towards a general methodology for formal verification on spiking neural P systems
| العنوان: | Towards a general methodology for formal verification on spiking neural P systems |
|---|---|
| المؤلفون: | Pérez-Jiménez, Mario J., Valencia-Cabrera, Luis, Orellana-Martín, David, Ramírez-de-Arellano, Antonio |
| المصدر: | In Theoretical Computer Science 1 October 2024 1011 |
| قاعدة البيانات: | ScienceDirect |
Full Text Finder | تدمد: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2024.114705 |